الرجوع عن 3 تعديلات معلقة إلى نسخة 24317325 من Quafios
[مراجعة غير مفحوصة] | [نسخة منشورة] |
تم حذف المحتوى تمت إضافة المحتوى
الرجوع عن 3 تعديلات معلقة إلى نسخة 24317325 من Quafios |
|||
سطر 15:
* [[انفصال منطقي|الانفصال disjunction]] تُقرأ على أنّها ''حرف التخيير (أو or)'' ويُرمز لها بالرمز ∨.
* [[نفي|النفي negation]] تُقرأ على أنها لا النافية، أو أي كلمة تُفيد النفي ''(ليس not)'' ويُرمز لها بالرمز ¬.
تختلف قيمة الحقيقة بين العَدددين باختلاف العمليّات بينَهما، ويُمكن الاعتبار أنّ عمليّة الاتصال ∧ هي عمليّة
<dl>
سطر 95:
القانون في الجبر البولياني هو عبارة عن متطابقة بين حدين بوليانيين، ويعرف الحد البولياني على أنه تعبير منطقي يتألف من متغيرات بوليانية والثوابت 0 و1، وعمليات الجبر البولياني (مثل الاتصال ∧، والانفصال ∨، والنفي ¬). ومثل الجبر العادي، فإن هناك 3 قوانين أساسية تحكم التعبيرات البوليانية: الإبدال والدمج والتوزيع.
=== '''قانون الإبدال لعملية الانفصال''' ===
يعرف قانون الإبدال لعملية الانفصال كما يلي:
|