search

docardoso / logic-toolbox

0 stars 0 forks source link

Canonical normal form definition #5

Open docardoso opened 6 years ago

docardoso commented 6 years ago

This includes DNF/SoP and CNF/PoS forms.

docardoso commented 6 years ago

https://en.wikipedia.org/wiki/Canonical_normal_form

gabe-nasc commented 6 years ago

Partially done on this commit

~yes, I got distracted writing the commit message~

docardoso commented 6 years ago

The canonical CNF expression relative to a given truth table can be obtained as shown in https://en.wikipedia.org/wiki/Canonical_normal_form#Functional_equivalence_2 : finding rows whose value is 0; making the OR of all variables negating those whose value is 1, and finally aggregating all ORs using an AND.

gabe-nasc commented 6 years ago

CNF was created in this commit, this presentation was used as a reference. (slides 12, 13 and 14)