4.2.8 Worked Examples: Truth Tables