Truth Trees in QL - Examples

The followin examples demonstrate the truth tree method for QL in action:

• Example 1: Testing for Validity

• Example 2: Testing for Logical Truth

• Example 3: Testing for Logical Equivalence

 
After you've reviewed these examples, the following exercise will give you lots of practice.