Generálj CNF-eset!
LaTeX:
...
Eredeti formula:
...
Nyilak nélkül:
...
NNF-ben:
...
CNF:
...
Generálj Rezolválósat!
LaTeX:
...
A feladat:
...
CNF:
...
Egy levezetés:
...