True
False
Disjunction (⋁)
Conjunction (⋀)
Implication (→)
Equivalence (↔)
True
False
Evaluate
Result