Eingabe
¬ x
(x ∧ y)
(x ↔ y)
{A,¬B}
{{A,¬B},{A,B}}
mehr ...
über
Formel
(Menge) disjunktive(r) Klausel(n)
(Menge) konjunktive(r) Klausel(n)
still
geschwätzig
sehr geschwätzig
