IndexExercisesServices
Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

(q || ~~(p /\ ~r)) /\ T /\ ~(q /\ q) /\ (q || ~~(p /\ ~r)) /\ T /\ ~(q /\ q)
⇒ logic.propositional.idempand
(q || ~~(p /\ ~r)) /\ T /\ ~(q /\ q)
⇒ logic.propositional.truezeroand
(q || ~~(p /\ ~r)) /\ ~(q /\ q)
⇒ logic.propositional.idempand
(q || ~~(p /\ ~r)) /\ ~q
⇒ logic.propositional.notnot
(q || (p /\ ~r)) /\ ~q
⇒ logic.propositional.andoveror
(q /\ ~q) || (p /\ ~r /\ ~q)
⇒ logic.propositional.compland
F || (p /\ ~r /\ ~q)
⇒ logic.propositional.falsezeroor
p /\ ~r /\ ~q
version 1.2.1.1 (revision 7140, Tue, 04 Nov 2014)