Logic: (Truth values are {0, 1})

Depth of formula:
Number of bound variables:
Maximum arity of predicates:
Domain cardinality:
Generate random

Or enter your own formula:
and model:
Ok

[You can use '¬'/'not', 'and'/'&', 'or', 'then', 'iff', '°', "all"/"V", "exists"/"E" for negation, conjunction, disjunction, conditional, biconditional, consistency and the quantifiers]
[Acceptable individual constants are: 'a', 'b', 'c', 'd', 'e', 'f', 'g', 'h', 'i', 'j', 'k', 'l', 'm', 'n']
[Acceptable predicate letters are: 'P', 'Q', 'R', 'S', 'T', 'U', 'A', 'B', 'C']
[Acceptable variables are: 'u', 'v', 'w', 'x', 'y', 'z']
[Valuations must be entered in format "v(formula) = value"]

---