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

Depth of formula:
Number of atomics:
Generate random

Or enter your own formula: Ok

[Acceptable atomics are 'p', 'q', 'r', 's', 't', 'u', 'v', 'w', 'o']
[You can use '¬'/'not', '&'/'and', 'or', 'then', 'iff', '°' for negation, conjunction, disjunction, conditional, biconditional and consistency]
[Valuations must be entered in format "v(formula) = value"]

---