Truth Tables for Negation, Conjunction, and Disjunction 3.2 Truth Tables for Negation, Conjunction, and Disjunction

Truth Table A truth table is used to determine when a compound statement is true or false.

Negation Truth Table T Case 2 F F Case 1 T ~p p

Four case Truth table p q T F

8 case Truth table p q r T F

Conjunction Truth Table The conjunction is true only when both p and q are true. F Case 4 T Case 3 Case 2 Case 1 q p

Disjunction The disjunction is true when either p is true, q is true, or both p and q are true. F Case 4 T Case 3 Case 2 Case 1 q p

General Procedure for Constructing Truth Tables 1. Determine if the statement is a negation, conjunction, disjunction, conditional, or biconditional. The answer to the truth table appears under: ~ if it is a negation ^ if it is a conjunction V if it is a disjunction g if it is conditional 1 if it is biconditional

General Procedure for Constructing Truth Tables (continued) 2. Complete the columns under the simple statements, p, q, r, and their negations ~p, ~q, ~r, within parentheses, if present. If there are nested parentheses work with the innermost first. 3. Complete the column under the connective within parentheses, if present. You will use the truth values of the connective in determining the final answer in step 5. 4. Complete the column under any remaining statements and their negation.

General Procedure for Constructing Truth Tables (continued) 5. Complete the column under any remaining connectives. Answer will appear under the column determined in step 1. For a conjunction, disjunction, conditional or biconditional, obtain the value using the last column completed on the left side and on the right side of the connective. For a negation, negate the values of the last column completed within the grouping symbols on the right of the negation. Number the columns in the order the were completed.

Example: Truth Table with a Negation Construct a truth table for ~(~q ^p). Solution: Construct standard four case truth table. Then fill-in the table in order, as follows: p q ~ (~q ^ p) T F T F T F F T F T T F 4 1 3 2

Example: Truth Table with a Negation Construct a truth table for q v ~p. Solution: Construct standard four case truth table. Then fill-in the table in order, as follows: p q v ~p T F T F T F T F F T 1 3 2

Example: construct a truth table for the statement (p ^ r) v q Column #3 is the answer to the parentheses. p T F ^ T F r T F v T F q T F Use column #3 and #4 to find answer column #5 1 3 2 5 4

Example: Determine the truth value if p is True, q is false and r is false. 1. (p v q) ^ ~r 2. ~(p ^ ~r) v q T T F T T F T T T F F 1 3 2 5 4 4 1 3 2 6 5 Notice in these problems we are only solving the problems for the one case proviede.

Homework p. 114 # 6 – 66 (by 3)