2. (a) Show that (PVQ) + R is not logically equivalent to (P + R) V(Q + R) using a truth table. (b) Is (PAQ) → R logically equivalent to (P + R) A( Q R )? If so, use a truth table to establish this. If not, show that it is false.
3. (10 pts.) Use logical equivalences to show that (p r)v(q r) and (pAq) r ane logically equivalent.
Show that ~p -> (q -> r) and q-> (p v r) are logically equivalent
Verify the logical equivalences using the theorem below: (p ∧ ( ~ ( ~ p ∨ q ) ) ) ∨ (p ∧ q) ≡ p Theorem 2.1.1 Let p, q, and r be statement variables, t a tautology, and c a contradiction. The following logical equivalences are true. 1. Commutativity: p1q=q1p; p V q = 9VP 2. Associativity: ( pq) Ar=p1qAr); (pVq) Vr=pv (Vr) 3. Distributivity: PA(Vr) = (p19) (par); p V (qar) = (pVg) (Vr) 4. Identity: pAt=p:...
Question: Show that the propositions (p ∨ q) ∧ (¬p ∨ r) and (p ∧ r) ⊕ (¬p ∧ q) are logically equivalent.
number 3 please 3. (a) If pA~q is true, determine the truth values of p and q. (b) If~p Vq is false, determine the truth values of p and q 4. Write pAq as an equivalent statement without using the connective A
In this assignment you will write code that will prove both equations for three logical equivalences (pick any three except the double negative law). Below is the list of logical equivalences. Please create a program that allows a user to test logical equivalences and have proof of their equivalency for the user. The rubric is below. Submit screen shots of the code, input, and output of the program. Theorem 2.1.1 Logical Equivalences Given any statement variables p, q, and r,...
Find the truth value of the statement. Assume that p and q are false, and r is true. 15) -(19) ►-9 A) True B) False Use a truth table to decide if the statements are equivalent. 16) q→P; - Vp A) Not equivalent B) Equivalent
7. Assume that p represents a true statement, q a false statement, and r a true statement. Determine the truth value of the following statement. ro(paq)
ТР ТP b) [(p V q)r) rp V)] 3. For the primitive statements p, q, r, and s simplify the compound statement