Question: Example 6: Show that (~p V q) V(p/~q) is a tautology. (p q) V(p/ ~q)=(PVq)V(~q/p) Commutative Laws = pV [q V(~q/p)] Associative Laws =~p V

Example 6: Show that (~p V q) V(p/~q) is a tautology. (p q) V(p/ ~q)=(PVq)V(~q/p) Commutative Laws = pV [q V(~q/p)] Associative Laws =~p V [(q V-q) /(qVp)] Distributive Laws =~PV [t/(q Vp)] Negation Laws =~p V (q Vp) Identity Laws =pV (p Vq) Commutative Laws =(~p Vp) Vq Associative Laws =tvq Negation Laws Et Universal Bound Laws Therefore, (~p Vq) V(p/~q) is a tautology.3. Show that (p - q) - r= (pA ~q) Vr using laws of equivalence.\f

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer

Step: 1 Unlock blur-text-image

Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock

Step: 3 Unlock

Students Have Also Explored These Related Mathematics Questions!

1. Let p, q, r be the propositions, Prove the following propositional statements using propositional rules. (photo attached) a. show that p v q v ~p is a tautology (p or q or not p) b. show that (p ^...

A Quick Recap: Propositional Logic (Equivalences) Symbols (e.g., letters, words) are used to represent facts about the world: e.g. P represents the fact Ali likes chocolate "Q represents the fact Ali...

please solve it like table . A Quick Recap: Propositional Logic (Equivalences) Symbols (e.g., letters, words) are used to represent facts about the world: e.g. "P" represents the fact "Ali likes...

Do this: . Apply Truth Table to proof the following Laws: 1. Equivalences (-) =P (P v Q) = (PQ) 2. The contra positive law ( PQ) = (-Q-P) 3. De Morgan's law - (P VQ) = (-PA-Q) and (PAQ) = (-PV-Q) 4....

A Quick Recap: Propositional Logic (Equivalences) Symbols (e.g., letters, words) are used to represent facts about the world: eg. . "P" represents the fact "Ali likes chocolate . "Q" represents the...

Hi, I have a set of arguments that I have to check if they are valid or invalid. Please set up the premises and apply the rule of inference to see if they are valid or invalid. Questions: Part (a) [6...

3. Show that each pair of these statements are logically equivalent by using propositional logic (use those in the Lecture 2 notes only). a) p (q + r) and q (pvr) b) (p +9)^(p+r) and p (qar) c) (pi(p...

Verify all of the logical equivalences in the table on page 19(table below) using the Python function equiv defined in the text. Table from page 19: Thank You!! Table 2.2. Logical Equivalences....

? ? You are the loans manager at a local bank. Two companies have approached you about securing a 6-month loan. Based on your calculations in the Microsoft Excel file provided to you by your...

Michelle's Classic Clothing Store has extended credit to customers on open account. Its average experience for each of the past 3 years has been as follows: Michelle Lebeck is considering whether to...

Which of the following is not true about an audit of inventory? A . Observing inventory counts provides evidence about rights and obligation assertion. B . Examining paid vendor invoices provides...

A company is preparing completing their Cash Budget. The following data has been prepared for cash receipts and payments. January February March Cash receipts $1,061,200 $1,182,400 $1,091,700 Cash...