
qwerty321 qwerty321
(Q
U) -->(p
Q)
(p
U)
U)
p-->(Q
p)
(U
p)
Tigweg Tigweg 
MatheuxMatou MatheuxMatou
{0;1}
MatheuxMatou MatheuxMatou
(Q ou U)... donc par transitivité... (idem pour U bien sûr)
Tigweg Tigweg
Tigweg Tigweg
D'ailleurs je ferais mieux d'éteindre l'ordinateur plutôt que de raconter des bêtises! 
MatheuxMatou MatheuxMatou
Tigweg Tigweg
Cela dit, j'avoue bien volontiers que ces histoires de logique ne me semblent pas intuitives!
MatheuxMatou MatheuxMatou