Boolean algebra truth tables and logic expressions