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

Truth values: (must be one character long, separated by commas)
Designated values: (must be one character long, separated by commas)
Unary constants: (must be one character long, separated by commas)
Binary constants: (must be one character long, separated by commas)
Ok Cancel

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]

---

Check
Solve

The formula is a:
Tautology
Contradiction
Contingency