truth table to prove infrence discrete math