Question: 10.) (4 pts) Use Theorem 2.1.1 (not a truth table) to verify the logical equivalence: (p^(-(~p va))) v (p^) = p. 11.) (4 pts) Construct

10.) (4 pts) Use Theorem 2.1.1 (not a truth table) to verify the logical equivalence: (p^(-(~p va))) v (p^) = p. 11.) (4 pts) Construct a truth table for the statement form ( pr) (q + r). Theorem 2.1.1 Logical Equivalences Given any statement variables p., and , a tautology t and a contradictione, the following logical equivalences hold 1. Commutative laws: PAQ QAP Pvq4VP 2. Associative laws: (9) Arp (AT) (pv) vrpa) 3. Distributive laws: pqr) - p/9) VAD PVC)= (pv) (p) 4. Identiry laws. p/t-P 5. Negation laws: 6. Double negative law: -(-p) p 7. Idempotent laws: PAPP 8. Universal bound laws: pat PAcc 9. De Morgan's laws. (9) P9 (V4) --- 10. Absorption laws: ) PAV4) - P 11. Negations of tande: -cut

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 Databases Questions!

Mat 140: Bonus Sheet 1 Name: Instructions: Circle one of the options below. You may choose only one. You can decide which option you want after the final exam. Turn in this assignment with the final....

THE UNIVERSITY OF SYDNEY MATH3066 ALGEBRA AND LOGIC Semester 1 2017 First Assignment This assignment is worth 15% of the overall assessment. Full marks may be obtained by achieving 60 marks (though...

Please help me with my macro quiz Problem 2: A two-server queueing system is in a steady-state condition and the steady state probabilities are po = 16: P1 = 16 : P2 = 16:P3 = 16 . PA = 16: Pn = 0 if...

Final Exam MATH1324 Name___________________________________ MULTIPLE CHOICE. Choose the one alternative that best completes the statement or answers the question. Solve the problem. 1) A shoe company...

E. a. Are ,0 -> o and "p v o logically equivalent? To nd the answer, rst construct the truth table. b. Are "1;: > o} and p n "q logically equivalent? To nd the answer, rst construct the truth table....

Show work/explanation where indicated. Answers without any work may earn little, if any, credit. You may type or write your work in your copy of the exam, or if you prefer, create a document...

1) Write truth tables for the statement forms in A.p q B. p (q r) 2) Determine whether the statement forms are logically equivalent. In each case, construct a truth table and include a sentence...

Determine whether the following statement forms are logically equivalent. Construct a truth table and include a sentence to justify your answer (4 pts): ~(qu)and~p A~q p A t andp (t isa...

HW #8 (Fault Simulation) EE 623 1. Assume you have developed an efficient table-driven event-directed logic simulation system. Consider a fan-out free circuit C having n input lines, m output line, g...

Is this proof that whenever n is a positive integer, correct? Justify your answer. Basis step: The result is true when n = 1 because Inductive step: Assume that the result is true for n. Then Hence,...

Look through recent issues (print or online) of Business Week, Fortune, or other business publications for articles that discuss challenges that a specific company or industry is facing. Based on the...

At the maturity date, a lump - sum repayment of the face amount of a ( term / serial ) bond is made, whereas the face amount of a ( term / serial ) bond is repaid in installments over time.

Compared with half a century ago, adoption has become _ _ _ _ _ _ _ _ _ common, but it is more open and acceptabl e , so we probably discuss it _ _ _ _ _ _ _ . fill in the blanks more or much less or...

Economist John Taylor has suggested that the Fed use the following rule for choosing its target for the federal funds interest rate (r): r = 2% + + 12 (y y*) / y* + 12 ( *), where is the average...

Suppose banks install automatic teller machines on every block and, by making cash readily available, reduce the amount of money people want to hold. a. Assume the Fed does not change the money...

Consider two policiesa tax cut that will last for only 1 year and a tax cut that is expected to be permanent. Which policy will stimulate greater spending by consumers? Which policy will have the...