Question: prove that this is a tautology using the given steps b) [(-)(-+) -- (0-1) (pv) A(-9vn] (qv) by logical equivalence -10-)^(+ n] v (+by logical

prove that this is a tautology using the given steps

b) [(-)(-+) -- (0-1) (pv) A(-9vn] (qv) by logical equivalence -10-)^(+ n] v (+by logical equivalence ITA(-9V-p)] [(ra) AT] by negation law (A-) (94-) (-ovo) by logical equivalence (04-) V(A) (pv) by logical equivalence [(PA-) V-p] [rv (94 by associative law (nova) (pv) by associative law [(p+ 4) A (9- ) + (-1) TV (pv) by negation law (Ang) (A v o ) by logical equivalence Iov - (-9V-vira) Arv-] by distributivo law - -- -(+] (+) by De Morgan's law ITA-V-vira) AF) by negation law (-9v-p) virva) by identity law T by domination law T by domination law -[(p+ 9) ^ (9 nl v (pm) by logical equivalence (p^-) v (pvn) v (94-) by commutative law D (op v g) v [(-qvn) v-(-9vn] by logical equivalence

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!

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...

Tube 8(BRER) B. ONTHI TAKESA (. W -MORETHE.. Google Translate Superior Reflective.. A ALEKS-EM G Gmail G Gmail ary > COMP 047: Discrete Math for Computer Science home > 1.5: Laws of propositional...

Required information NOTE: This is a multi-part question. Once an answer is submitted, you will be unable to return to this part. When planning a party you want to know whom to invite. Among the...

\fsh is ar stu ed d vi y re aC s o ou urc rs e eH w er as o. co m Math 280 Strategies of Proof Fall 2007 Class Notes 3.6 Proving Conditional Statements II: Indirect Proofs In Section 3.4, we studied...

in here P(A) is power set of(A) 1.Prove that A B iff P (A) P (B). 2. Prove that for any set A, A = P (A). 3. Suppose {Ai | i I} and {Bi | i I} are indexed families of sets. (a) Prove that iI (Ai...

1) Deline symmetric Eroup and prove that every sex can be expressed uniquely as a product of cycles 2) Show that the group of symmetries of an equilateral triangle has order and find its centre a)...

3 ,,uoh "gram 3 Eww 3 m T mm H a 3 .2 ' m w .,.m.av>v 3. m. @3on we geonwoaoa mm H "with M'nr H E. wads + we A at. ES 0 3.8V WEE 3563 mo wow 23 E m \"9H .3 avgmeMm\" mnemagouom Aggy\"...

Help! Data Structure problem List.java import java.util.Random; import java.util.function.BiFunction; import java.util.function.Function; class EmptyListE extends Exception {} abstract class List {...

The last three picture Consider a two-person household. These two people have very similar preferences (that's why they enjoy living together), which are described by the following utility...

Last Updated: July 18, 2016 American Mock Trial Association MIDLANDS RULES OF EVIDENCE Article I. Rule 101. Scope; Definitions (a) Scope. These rules apply to proceedings in the courts of the State...

The 30 kg crate shown in Figure 2 rests on a horizontal plane for which the coefficient of kinetic friction is ik = 0.3. If the crate is subjected to a 250 N towing force as shown, calculate the...

List and briefly define four different kinds of assembly language statements.

14. When might it be necessary to assign underap. plied overhead to Finished Goods, Work in Process, and Cost of Goods Sold?

Task 1 - Loans A) You take out an annuity loan of 2 million over 20 years. The interest rate is 3.6% p.a. Down-payment shall be made by paying monthly deduction, the first one year after the loan was...

Describe how to train managers to coach employees. page 404

Explain how employee development contributes to strategies related to employee retention, developing intellectual capital, and business growth. page 379

Discuss the steps in the development planning process. page 381