Express by a truth table