جبر بول: الفرق بين النسختين

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