Logic Words

123456789101112
Across
  1. 2. V
  2. 5. Exclusive or XOR
  3. 6.
  4. 7. ^
  5. 8. &
  6. 10. +
  7. 12. used when you describe an object, which then turns out doesn't actually exist
Down
  1. 1. not negotiation
  2. 3. to express the existence of a variable.
  3. 4.
  4. 9. If and only if
  5. 11. ~