Logic

123456789101112131415
Across
  1. 5. is used as a symbol to represent the logical AND operator
  2. 7. caret a caret that has been inverted
  3. 9. all is the universal quantifier (∀)
  4. 11. mark is a NOT operator negates or reverses the truth value of a proposition or statement
  5. 12. the logical AND operator returns true if and only if both of its operands are true
  6. 14. is often used to represent the logical NOT operator
  7. 15. is used to represent the logical implication or conditional operator
Down
  1. 1. is typically represented by the logical AND operator
  2. 2. is represents the logical XOR (exclusive or) operator
  3. 3. is often used to represent the logical OR operator
  4. 4. is used to indicate a logical conclusion or inference based on a set of premises or statements
  5. 6. line is a valid substitute for the logical operator OR
  6. 8. it indicates that two statements or expressions have the same truth value, meaning they are either both true or both false
  7. 10. quote is often referred to as an apostrophe (') or prime symbol
  8. 13. it is mainly used in mathematical expressions to denote addition