in the truth table for an invalid argument