What's that Language?

Edit Answers
123456789101112
Across
  1. 4. implications
  2. 5. Distributivelaws
  3. 6. contrapositive
  4. 8. Contradiction
  5. 10. Biconditional
  6. 11. Identitylaws
  7. 12. Commutativelaws
Down
  1. 1. conjunction
  2. 2. Idempotentlaws
  3. 3. simplification
  4. 7. inverse
  5. 9. modustollens