/

(p or not p) is true

/

a statement is either true or false

/

{ compare to L : Negation. this truth table defines the ∨ connector  }