Truth table reduction

Summary