Conjunctive Disjunctive Normal Form
CDNF - I call it AND OR Normal Form
Logic and CDNF
CDNF = Conjunctive Disjunctive Normal Form. It is a mechanical way to convert any truth table into a logic formula using AND, OR and NOT
Conjunction = AND and Disjunction = OR; so I call it: AND OR normal Form
How to do it: and together each row that has a one in the result. If the input is True , use it by itself, if the input is False, put a NOT in front. OR them all together. You look only at the rows of the truth table with a 1 in the result. Ignore those with 0 in the result
Example: (A and NOT B and C) or (NOT A and B and NOT C) or (NOT A and B and C)
Why does this work???