العلاقات والمنطق

ملخص

الشرط تعبير قيمته صواب أو خطأ. يدرس هذا الدرس كيف تُبنى الشروط في C++: عوامل المقارنة الستة، التي تقارن بين قيمتين وتُنتج bool؛ والروابط المنطقية الثلاث، && و|| و!، التي تجمع الشروط كما يفعل العطف والفصل والنفي في المنطق؛ والأسبقية التي ترتّبها فيما بينها وبالنسبة إلى الحساب. ويدرس أيضًا سمتين تبتعد فيهما C++ عن الكتابة الرياضية: السلسلة 1 < x < 5، التي تُترجم ولا تعني ما تبدو عليه، والحساب المختصر، الذي بموجبه لا يُحسب المعامَل الثاني لـ && و|| حين يكون الأول قد حسم النتيجة، وهو ما يتيح حماية عملية خطرة. ويختم بنفي الشروط المركّبة بقوانين دي مورغان، مع التحقق منه بجداول الصدق، وبمثاله المحوري: شرط السنة الكبيسة ونفيه. وليس في الوحدة بعدُ قرارات: فالشروط تُحسب وتُطبع بوصفها true أو false، وسيجعلها الدرس القرارات تتحكّم في البرنامج.