4.2.8 Worked Examples: Gates and Boolean Logic