Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

(T /\ ~(~~~p /\ ~(q /\ T) /\ ~~~F /\ T /\ T /\ ~~~F /\ T)) || (~T /\ r)

⇒ logic.propositional.nottrue

(T /\ ~(~~~p /\ ~(q /\ T) /\ ~~~F /\ T /\ T /\ ~~~F /\ T)) || (F /\ r)

⇒ logic.propositional.falsezeroand

(T /\ ~(~~~p /\ ~(q /\ T) /\ ~~~F /\ T /\ T /\ ~~~F /\ T)) || F

⇒ logic.propositional.falsezeroor

T /\ ~(~~~p /\ ~(q /\ T) /\ ~~~F /\ T /\ T /\ ~~~F /\ T)

⇒ logic.propositional.truezeroand

~(~~~p /\ ~(q /\ T) /\ ~~~F /\ T /\ T /\ ~~~F /\ T)

⇒ logic.propositional.idempand

~(~~~p /\ ~(q /\ T) /\ ~~~F /\ T /\ ~~~F /\ T)

⇒ logic.propositional.idempand

~(~~~p /\ ~(q /\ T) /\ ~~~F /\ T)

⇒ logic.propositional.truezeroand

~(~~~p /\ ~(q /\ T) /\ ~~~F)

⇒ logic.propositional.notnot

~(~p /\ ~(q /\ T) /\ ~~~F)

⇒ logic.propositional.notnot

~(~p /\ ~(q /\ T) /\ ~F)

⇒ logic.propositional.notfalse

~(~p /\ ~(q /\ T) /\ T)

⇒ logic.propositional.truezeroand

~(~p /\ ~(q /\ T))

⇒ logic.propositional.truezeroand

~(~p /\ ~q)

⇒ logic.propositional.demorganand

~~p || ~~q

⇒ logic.propositional.notnot

p || ~~q

⇒ logic.propositional.notnot

p || q