Proposition
Symbols
=
¬
∧
∨
⊕
→
↔
Examples
(p⊕q)
(p→q)
((p→q)∧(q→r))→(p→r)
Truth Table