Logical Operations

• What is a proposition in propositional logic?

  A statement that can be true or false
• What do propositional statements evaluate to?

  Either true or false
• What does propositional logic consider?

  The interaction of statements with each other
• What do propositional logic rules follow?

  Mathematical rules
• What is the basis for simplifying logic statements?

  The structure of the statement
• What do propositional logic symbols represent?

  Logical links between propositions
• What is a truth table?

  A mathematical table for analyzing statements
• What must be true for an AND statement to be true?

  Both propositions must be true
• How can the statement "I am hungry and I have a sandwich" be represented in propositional logic?

  A.B
• What is the key word in an OR logical statement?

  OR
• When is an OR statement true?

  If at least one proposition is true
• How can the statement "She has blue eyes or she has brown eyes" be represented in propositional logic?

  A + B
• What does the negation operator do?

  It reverses the truth value of a proposition
• What is the key characteristic of an XOR statement?

  Only one proposition can be true
• How can the statement "She has blue eyes or she has brown eyes" be represented as an XOR statement?

  A ⊕ B
• What is the conclusion drawn from the statements about zebras and pandas?


  Some zebras are pandas
• What are the main symbols used in propositional logic and their meanings?

  • . : AND
  • + : OR
  • Ā : NOT
  • ⊕ : XOR
• What are the truth tables for AND, OR, NOT, and XOR operations?

  • AND (A.B):
  • True if both A and B are true
  • OR (A + B):
  • True if at least one of A or B is true
  • NOT (Ā):
  • Reverses the truth value of A
  • XOR (A ⊕ B):
  • True if only one of A or B is true