truth table ~a => (a => b)