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)
FF=F(7) FF=F(8)
P((Q)) PQ
¬¬F=F(9)
¬(FG)=(¬F)(¬G) (10)
¬(FG)=(¬F)(¬G) (11)
P∧ ¬(∨ ¬(¬Q))
1 / 2 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans l'interface ou les textes ? Ou savez-vous comment améliorer l'interface utilisateur de StudyLib ? N'hésitez pas à envoyer vos suggestions. C'est très important pour nous!