Input
¬ x
(x ∧ y)
(x ↔ y)
{A,¬B}
{{A,¬B},{A,B}}
more ...
about
formula
(set of) disjunctive clause(s)
(set of) conjunctive clause(s)
quiet
verbose
very verbose
