/

it is not the case that (p is true and q is false)

/

{ this truth table represents the logical implication of two statements: P, Q }

/

{ a logical implication is false only when P is true and q is False  }