IndexExercisesServices
Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

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