Truth Tables and Logic Gates Worksheet Term Symbol(s) Definitions Term Symbol(s) Definition and ^ Both have to be true for the compound statement to be true or v One or the other or both have to be true for the compound statement to be true Negation ~ The opposite truth value ¬ Conditional p=>q p implies q, stated as “if…, then…” p→q Converse q=>p The order of the hypothesis and conclusion is reversed q→p p←q Inverse ~p=>~q Both hypothesis and conclusion are negated ~p→~q Contrapositive ~q=>~p Hypothesis and conclusion are negated and reversed ~q→~p Biconditional p<=>q When both a conditional and its converse are true; stated as and “if p↔q only if” (or iff)
Truth Tables and Logic Gates Worksheet Term Symbol(s) Definitions Term Symbol(s) Definition and ^ Both have to be true for the compound statement to be true or v One or the other or both have to be true for the compound statement to be true Negation ~ ¬ The opposite truth value Conditional p=>q p→q p implies q, stated as “if…, then…” Converse q=>p q→p p←q The order of the hypothesis and conclusion is reversed Inverse ~p=>~q ~p→~q Both hypothesis and conclusion are negated Contrapositive ~q=>~p ~q→~p Hypothesis and conclusion are negated and reversed Biconditional p<=>q p↔q When both a conditional and its converse are true; stated as “if and only if” (or iff)