Any two propositions P and Q can be disjoined, producing the new, complex, proposition:

    P or Q
The proposition P and Q is true if and only if either P or Q are true. It is false only if both P and Q are false.

The truth table for P or Q is as follows:

If you have Java, try it out for yourself:

Set the truth values for the propositions P and Q by clicking on the appropriate button beside "P" and "Q" respectively. What is the truth value of P or Q? Find out by clicking on the "Compute" button.

P is: T F Q is: T F
Thus, P or Q is:

17 August 1996