Title: Applied Boolean algebra