Read More
Date: 23-1-2022
![]()
Date: 17-2-2022
![]()
Date: 9-2-2022
![]() |
The logical axiom
where denotes NOT and
denotes OR, that, when taken together with associativity and commutativity, is equivalent to the axioms of Boolean algebra.
The Robbins operator can be defined in the Wolfram Language by
Robbins := Function[{x, y}, ! (! (! y [Or] x)
[Or] ! (x [Or] y))]
That the Robbins axiom is a true statement in Boolean algebra can be verified by examining its truth table.
T | T | T |
T | F | T |
F | T | F |
F | F | F |
|
|
التوتر والسرطان.. علماء يحذرون من "صلة خطيرة"
|
|
|
|
|
مرآة السيارة: مدى دقة عكسها للصورة الصحيحة
|
|
|
|
|
نحو شراكة وطنية متكاملة.. الأمين العام للعتبة الحسينية يبحث مع وكيل وزارة الخارجية آفاق التعاون المؤسسي
|
|
|