Question

In: Computer Science

Prove algebraically ABC+A’C’D’+A’BD’+ACD=(A’+C)(A+D’)(B+C’+D)

  1. Prove algebraically

ABC+A’C’D’+A’BD’+ACD=(A’+C)(A+D’)(B+C’+D)

Solutions

Expert Solution

The above question can be solved as follows:

A B C + A’ C’ D’ + A’.B D’ + A C D = ( A’ + C ) ( A + D’ ) ( B + C’ + D )

RHS: ( A’ + C ) ( A + D’ ) ( B + C’ + D )

= A'.A + A'.D' + A.C + C.D' . ( B + C’ + D )

= 0 + A'.B.D' + A.B.C + B.C.D' + A'.C'.D' + A.C.C' + C.D.D' +   A'.D'.D + A.C.D + C.D.D'

= A'.B.D' + A.B.C + B.C.D' + A'.C'.D' + 0 + 0 + 0 + A.C.D + 0

= A'.B.D' + A.B.C + B.C.D' + A'.C'.D' + 0 + 0 + 0 + A.C.D + 0

= A.B.C + A'C'D' + A'.B.D' + A.C.D + B.C.D'

= ABC(D+D') + A'C'D'(B+B') +  A'.B.D'(C+C') + A.C.D (B+B') + B.C.D'(A+A')

= ABCD + ABCD' + A'C'D'B + A'C'D'B' + A'.B.D'C + A'.B.D'C' +  A.C.D B' +  A.C.D B+ B.C.D'A' + B.C.D'A

= ABCD + ABCD' + A'BC'D' + A'B'C'D' + A'BCD' + AB'CD

LHS:

A B C + A’ C’ D’ + A’.B D’ + A C D

= ABC(D+D') + A’C’D’(B+B') + A’BD’(C+C') + ACD(B'+B)

=ABCD+ABCD' + A’C’D’B+A’C’D’B' + A’BD’C+A’BD’C' + ACDB'+ACDB

= ABCD + ABCD' + A'BC'D' + A'B'C'D' + A'BCD' + AB'CD

= RHS


Related Solutions

Suppose A*B*A′ holds(B is between A and A')  and D ∈ Int(∠ABC). Prove that C ∈ Int(∠A′BD)....
Suppose A*B*A′ holds(B is between A and A')  and D ∈ Int(∠ABC). Prove that C ∈ Int(∠A′BD). (a) Prove that C ∈ H(D,line A′B). (b) Prove that C ∈ H (A′, line←→BD). Use point A. (c) Deduce that C∈Int (∠A′BD).
Given A*B*C and A*C*D, prove the corollary to Axion B-4.
Given A*B*C and A*C*D, prove the corollary to Axion B-4.
Prove that the set R ={ a+ b√2+c√3+d√6 , a,b,c,d belongs to Q } is a...
Prove that the set R ={ a+ b√2+c√3+d√6 , a,b,c,d belongs to Q } is a field
Given triangle(ABC) with A-D-C, then BD < BA or BD < BC. Prove that the set...
Given triangle(ABC) with A-D-C, then BD < BA or BD < BC. Prove that the set consisting of a circle and its interior is a convex set.
Consider mutually independent events: A, B, C and D. Prove that AnB (A intersection B) is...
Consider mutually independent events: A, B, C and D. Prove that AnB (A intersection B) is independent to CUD (C union D).
Consider the cross: A/a; b/b; C/c; D/d; E/e x A/a; B/b; c/c; D/d; e/e a) what...
Consider the cross: A/a; b/b; C/c; D/d; E/e x A/a; B/b; c/c; D/d; e/e a) what proportion of the progeny will phenotypically resemble the first parent? b) what proportion of the progeny will genotypically resemble neither parent?
A = 9 B = 1 C = 7 D = 3 Suppose ABC firm is...
A = 9 B = 1 C = 7 D = 3 Suppose ABC firm is considering an investment that would extend the life of one of its facilities for 5 years. The project would require upfront costs of $8M plus $42M investment in equipment. The equipment will be obsolete in 11 years and will be depreciated via straight-line over that period (Assume that the equipment can't be sold). During the next 5 years, ABC expects annual sales of 60M...
prove that where a,b,c,d,e are real numbers with (a) not equal to zero. if this linear...
prove that where a,b,c,d,e are real numbers with (a) not equal to zero. if this linear equation ax+by=c has the same solution set as this one : ax+dy=e, then they are the same equation.
Use boolean algebra to prove that: (A^- *B*C^-) + (A^- *B*C) + (A* B^- *C) +...
Use boolean algebra to prove that: (A^- *B*C^-) + (A^- *B*C) + (A* B^- *C) + (A*B* C^-) + (A*B*C)= (A+B)*(B+C) A^- is same as "not A" please show steps to getting the left side to equal the right side, use boolean algebra properties such as distributive, absorption,etc
Find 3 definitions of e. Prove they are equivalent (transitivity: a=b, b=c, and a=c) prove the...
Find 3 definitions of e. Prove they are equivalent (transitivity: a=b, b=c, and a=c) prove the 3 defintions of e are equivalent.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT