Truth table reduction