Robbins Axiom
المؤلف:
المرجع الالكتروني للمعلوماتيه
المصدر:
www.almerja.com
الجزء والصفحة:
...
9-2-2022
1352
Robbins Axiom
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.
الاكثر قراءة في المنطق
اخر الاخبار
اخبار العتبة العباسية المقدسة
