Read More
Date: 9-2-2022
906
Date: 9-2-2022
709
Date: 12-2-2022
524
|
(1) |
|
(2) |
|
(3) |
|
(4) |
where denotes OR, denotes AND, and denotes NOT (Mendelson 1997, p. 30).
Every statement in logic consisting of a combination of multiple , , and s can be written in conjunctive normal form.
An expression can be put in conjunctive normal form using the Wolfram Language using the following code:
ConjunctiveNormalForm[f_] :=
Not[LogicalExpand[Not[f]]] //. {
Not[a_Or] :> And @@ (Not /@ List @@ a),
Not[a_And] :> Or @@ (Not /@ List @@ a)
}
Mendelson, E. Introduction to Mathematical Logic, 4th ed. London: Chapman & Hall, p. 30, 1997.
|
|
تفوقت في الاختبار على الجميع.. فاكهة "خارقة" في عالم التغذية
|
|
|
|
|
أمين عام أوبك: النفط الخام والغاز الطبيعي "هبة من الله"
|
|
|
|
|
قسم شؤون المعارف ينظم دورة عن آليات عمل الفهارس الفنية للموسوعات والكتب لملاكاته
|
|
|