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

تم إزالة 263 بايت ، ‏ قبل سنتين
ط
استرجاع تعديلات 2A02:908:C62:63A0:2D74:64FB:52BB:F231 (نقاش) حتى آخر نسخة بواسطة 176.45.237.233
ط (استرجاع تعديلات 2A02:908:C62:63A0:2D74:64FB:52BB:F231 (نقاش) حتى آخر نسخة بواسطة 176.45.237.233)
وسم: استرجاع
<math>\neg(\neg A) = A</math>
 
=== قاعدة المص الأولى: (تم الإثبات بواسطة جداول الحقيقة) ===
<math>A \and (A \or B) = A</math>
 
=== قاعدة المص الثانية:(تم الإثبات بواسطة جداول الحقيقة) ===
الإثبات:
{| class="wikitable"
|+
!A \and (A \or B)
!(A \or B)
!B
!A
|-
|0
|1
|1
|0
|-
|1
|1
|0
|1
|-
|0
|0
|0
|0
|-
|1
|1
|1
|1
|}
 
=== قاعدة المص الثانية:(تم الإثبات بواسطة جداول الحقيقة) ===
<math>A \or (A \and B) = A</math>