Boolean algebra homework