doesitsat
Type a formula.
booly
tells you whether it can be true.
Propositional formula
¬
∧
∨
→
↔
⊕
( )
try
a ∧ ¬a
(p → q) → (¬q → ¬p)
(a ∨ b) ∧ (¬a ∨ c) ∧ ¬c