التعبير المنطقي

الموسوعة الحرة

في علوم الحاسوب ، يُعرف التعبير المنطقي (أو التعبير البولياني ) بأنه تعبير يُستخدم في لغات البرمجة، ويُنتج قيمة منطقية عند تقييمه. وتكون القيمة المنطقية إما صحيحة أو خاطئة . وقد يتكون التعبير المنطقي من مزيج من الثوابت المنطقية (صحيح/خطأ أو نعم/لا) ، والمتغيرات ذات النوع المنطقي ، والمعاملات ذات القيم المنطقية، والدوال ذات القيم المنطقية . [ 1 ]

تتوافق التعبيرات المنطقية مع الصيغ الافتراضية في المنطق وترتبط بالدوائر المنطقية . [ 2 ]

عوامل التشغيل المنطقية

تحتوي معظم لغات البرمجة على عوامل التشغيل المنطقية OR و AND و NOT ؛ في لغة C وبعض اللغات المستوحاة منها ، تُمثَّل هذه العوامل بالرموز "||" (الخط العمودي المزدوج)، و"&&" ( علامة العطف المزدوجة )، و"!" ( علامة التعجب ) على التوالي، بينما تُمثَّل العمليات المنطقية المقابلة لها بالرموز "|" و"&" و"~" (علامة المد). [ 3 ] في الأدبيات الرياضية، تُستخدم الرموز "+" ( الجمع )، و" · " ( النقطة ) ، و"∨" ( الطرح )، و"∧" ( الإنكار ) ، و"¬" ( النفي )، أو "′" (الفتحة).

تحتوي بعض اللغات، مثل بيرل وروبي ، على مجموعتين من عوامل التشغيل المنطقية، لهما نفس الوظيفة ولكن بأسبقية مختلفة. عادةً ما تستخدم هذه اللغات عاملي التشغيل " و" و " أو" و" ليس " للعوامل ذات الأسبقية الأقل.

تستخدم بعض لغات البرمجة المشتقة من PL/I نوع بيانات سلسلة بتية، وتستخدم BIT(1) بدلاً من نوع بيانات منطقي منفصل. في هذه اللغات، تُستخدم نفس المعاملات للعمليات المنطقية والعمليات على مستوى البت. وتمثل هذه اللغات عمليات OR وAND وNOT وEXCLUSIVE OR باستخدام الرموز "|" و"&" و"¬" (في الوسط) و"¬" (في البادئة).

مشغلو الدوائر القصيرة

تحتوي بعض لغات البرمجة، مثل لغة آدا ، على عوامل منطقية مختصرة . تستخدم هذه العوامل تقييمًا كسولًا ، أي إذا أمكن تحديد قيمة التعبير من التعبير المنطقي الأيسر، فإنها لا تُقيّم التعبير المنطقي الأيمن. ونتيجةً لذلك، قد تظهر آثار جانبية تقتصر على قيمة واحدة فقط للمعامل الأيسر.

أمثلة

  • 5 > 3يتم تقييم التعبير على النحو التاليحقيقي.
  • 3 > 5يتم تقييم التعبير على النحو التاليخطأ شنيع.
  • 5>=3وهما 3<=5تعبيران منطقيان متكافئان، ويتم تقييم كليهما على النحو التالي:حقيقي.
  • بالطبع، ستحتوي معظم التعبيرات المنطقية على متغير واحد على الأقل ( X > 3)، وغالبًا ما تحتوي على أكثر من ذلك ( X > Y).

انظر أيضاً

مراجع

  1. ↑ غريس، ديفيد ؛ شنايدر، فريد ب. (1993)، "الفصل 2. التعبيرات البوليانية"، مدخل منطقي للرياضيات المتقطعة ، سلسلة دراسات في علوم الحاسوب، سبرينغر، ص  25 وما بعدها، ISBN 9780387941158.
  2. ↑ فان ميلكبيك، ديتر (2000)، العشوائية والكمال في التعقيد الحسابي ، سلسلة محاضرات في علوم الحاسوب ، المجلد 1950، سبرينغر، ص 22، ISBN   9783540414926.
  3. ↑ مثال على لغة جافا : انظر: Brogden, William B.; Green, Marcus (2003), Java 2 Programmer , Que Publishing, ص 45, ISBN  9780789728616.
  • حساب المنطق ، بقلم جورج بول، مجلة كامبريدج ودبلن الرياضية المجلد الثالث (1848)، الصفحات  183-198.