المنطق والمقارنة
القيمة المنطقية
ويتم اختيار أحد طريقين في سيْر الأوامِر بحسب ناتج تعبير منطقي (bool)؛ وهي إحدى اثنتين:
- صح:
True؛ ولك أن تقول: نعم أو صحيح أو مطابق أو موافق أو إيجاب. - خطأ:
False؛ ولك أن تقول: لا أو خاطئ أو مخالف أو منافي أو سلب.
ومن العبارات المنطقية في بايثون، حاصل عوامل المقارنة كما في المثال:
تذكر: أن لكل قيمة نوعًا.
فإذا وضعت المتغير في دالة type(x) لمعرفة النوع، فإنك ستعرف أن مثل هذه التعبيرات نوعها منطقي (bool).
مثال:
ويمكن المقارنة بين النصوص كذلك، ونتيجة ذلك قيمة من النوع المنطقي أيضًا؛ لأن المقارنة تعبير منطقي:
ولاحظ أن النص والعدد -لاختلاف نوعيهما- يكون حاصل المساواة بينهما لا (False):
لكن بايثون تتجوَّز في المساواة بين الأنواع المختلفة التي من صنف العدد،
فالمطابقة بين العدد الصحيح (int) والعشري (float) تتعامل معها بايثون بسلاسة:
الجبر المنطقي
والنوع الثنائي (bool) الذي ينحصر في قيمتين فقط هو أصل المنطق الرقمي المعروف بالأصفار والآحاد.
حيث نشأ علم الجبر المنطقي (Algebraic Logic) من قبل عالم الرياضيات جورج بول الذي وضع أسسه في كتابه: "قوانين الفكر" (The Laws of Thought) في عام 1854.
تعليق: ومن بديع صنع الله سبحانه وتعالى، أن هذه العمليات الثلاثة بها تتكون جميع المعالجات التي تصير في كل جهاز حاسب بلا استثناء!
وإذا كان جبر الأعداد يكون بالمعادلات التي هي مقابلات تمثل قيَم عددية، وبينها عوامل الجمع والضرب والقسمة والطرح والأس ونحو ذلك؛ فإن الجبر المنطقي يكون بمعادلات تمثل مقابلات لقيم منطقية (صفر أو واحد)، بينها العوامل الأساسية الثلاثة التالية (ويمثل الصفر المنطقي بكلمةFalseوالواحد المنطقي بكلمةTrue):
العامل الأول: العكس (not)
مثاله:
ونفي النفي يعود إثباتًا:
العامل الثاني: الجمع (and)
مثاله:
العامل الثالث: الخيار (or)
مثاله:
وقد وضعنا الجمع والخيار في جدول واحد فيه الاحتمالات بينهما ليسهل استيعابه:
a |
b |
a and b |
a or b |
|---|---|---|---|
| 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 1 |
| 1 | 0 | 0 | 1 |
| 1 | 1 | 1 | 1 |