L2/LD TP 4 Simplification de formules propositionnelles

F∨ ¬F
F F
F
¬= (1) ¬= (2)
∨F=F(3) ∨F= (4)
∧F= (5) ∧F=F(6)
F∨F=F(7) F∧F=F(8)
P∧(∨(Q∧)) P∧Q

¬¬F=F(9)
¬(F∧G)=(¬F)∨(¬G) (10)
¬(F∨G)=(¬F)∧(¬G) (11)
P∧ ¬(∨ ¬(¬Q∧))