Lisondra, Kathleen Shayne A.

BSEd -Math 1A

Assignment:
A. Construct a truth table for each proposition
4. (P ∧ Q) → R
Answer:

P Q R P∧Q (P ∧ Q) → R
1 1 1 1 1
1 1 0 1 0
1 0 1 0 1
1 0 0 0 1
0 1 1 0 1
0 1 0 0 1
0 0 1 0 1
0 0 0 0 1
 B. Suppose that P, Q, R, S are propositions and that P∧Q and R∨S is fake. Determine
the truth value of each proposition.
4. (R ∧¬P) → [(Q∨S) ⟺ (¬P∨R)]
Answer:
P Q R S ¬P (R ∧¬P) (¬P∨R)] (Q∨S) [(Q∨S) ⟺ (¬P∨R)] (R ∧¬P) → [(Q∨S) ⟺ (¬P∨R)]
0 0 0 0 1 0 1 0 0 1
0 0 0 1 1 0 1 1 1 1
0 0 1 0 1 1 1 0 0 0
0 0 1 1 1 1 1 1 1 1
0 1 0 0 1 0 1 1 1 1
0 1 0 1 1 0 1 1 1 1
0 1 1 0 1 1 1 1 1 1
0 1 1 1 1 1 1 1 1 1
1 0 0 0 0 0 0 0 1 1
1 0 0 1 0 0 0 1 0 1
1 0 1 0 0 0 1 0 0 1
1 0 1 1 0 0 1 1 1 1
1 1 0 0 0 0 0 1 0 1
1 1 0 1 0 0 0 1 0 1
1 1 1 0 0 0 1 1 1 1
1 1 1 1 0 0 1 1 1 1
 5. P → {¬Q∨ [¬S⟺(R∧¬R)]}

Answer:
[¬S⟺(R∧¬R) {¬Q∨
P Q R S ¬Q ¬S ¬R (R∧¬R) P → {¬Q∨ [¬S⟺(R∧¬R)]}
] [¬S⟺(R∧¬R)]}
0 0 0 0 1 1 1 0 0 1 1
0 0 0 1 1 0 1 0 1 1 1
0 0 1 0 1 1 0 0 0 1 1
0 0 1 1 1 0 0 0 1 1 1
0 1 0 0 0 1 1 0 0 0 1
0 1 0 1 0 0 1 0 1 1 1
0 1 1 0 0 1 0 0 0 0 1
0 1 1 1 0 0 0 0 1 1 1
1 0 0 0 1 1 1 0 0 1 1
1 0 0 1 1 0 1 0 1 1 1
1 0 1 0 1 1 0 0 0 1 1
1 0 1 1 1 0 0 0 1 1 1
1 1 0 0 0 1 1 0 0 0 0
1 1 0 1 0 0 1 0 1 1 1
1 1 1 0 0 1 0 0 0 0 0
1 1 1 1 0 0 0 0 1 1 1
 6. ¬{(P⟺R) ∨[Q→(¬P⟺¬S)]}

Answer:
{(P⟺R)
¬ (P⟺R [Q→(¬P⟺¬S)
P Q R S ¬S (¬P⟺¬S) ∨[Q→(¬P⟺¬S)] ¬{(P⟺R)∨[Q→(¬P⟺¬S)]}
P ) ]
}
0 0 0 0 1 1 1 1 1 1 0
0 0 0 1 1 0 1 0 1 1 0
0 0 1 0 1 1 0 1 1 1 0
0 0 1 1 1 0 0 0 1 1 0
0 1 0 0 1 1 1 1 1 1 0
0 1 0 1 1 0 1 0 0 1 0
0 1 1 0 1 1 0 1 1 1 0
0 1 1 1 1 0 0 0 0 0 1
1 0 0 0 0 1 0 0 1 1 0
1 0 0 1 0 0 0 1 1 1 0
1 0 1 0 0 1 1 0 1 1 0
1 0 1 1 0 0 1 1 1 1 0
1 1 0 0 0 1 0 0 0 0 1
1 1 0 1 0 0 0 1 1 1 0
1 1 1 0 0 1 1 0 0 1 0
1 1 1 1 0 0 1 1 1 1 0