1. AND : ∧
  2. OR: ∨
  3. Implies: ⊃
  4. NAND: ↑
  5. NOR: ↓