(
)
~
^
v
→
P
Q
R
S
T
DEL
Formule :
Sa negation :
CNF :
Clauses:
Resultat :