In this example we construct a truth tables for several logical expressions involving the logical statements P and Q.

In this example we construct a truth table for a logical expression involving the logical statements P, Q, and R. It turns out that this logical expression is always true, regardless of the specific values of P, Q, and R. This type of logical expression is called a tautology.