Go backward to Notation Go up to Top Go forward to Operational Interpretation

Disjunctions

(A \/ B)

• Other syntactic forms:
  • A + B, A | B, A || B;
  • "A or B";
  • or(A, B).
• Semantics: A \/ B is false, if and only if both A and B are false.

  A	B	A \/ B
  false	false	false
  false	true	true
  true	false	true
  true	true	true