I am going through my Boolean Algebra book trying do some of the problems and I am looking for some help with regards to one wanting a function simplified using only DeMorgan's relationships and Involution.
f(A,B,C,D) = [A + (BCD)']*[(AD)' + B(C'+A)]
I attempted to reduce as follows:
[A + B' + C' + D'][A' + D' + (B(C' + A))'] <-- Attempting Involution
[A + B' + C' + D'][A' + D' + B' + C'' * A']
[A + B' + C' + D'][A' + D' + B' + CA']
[A + B' + C' + D'][A' + B' + D']
I am wondering if the steps I took are valid or am I a bit off base?
At the first step, you have an error
[(AD)' + B(C'+A)] = [A' + D' + B(C' + A)]
or
[(AD)' + B(C'+A)] = [A' + D' + (B(C' + A))'']
Related
I'm working on some logic homework and I can't figure out the next step in reducing the number of literals. Any help would be greatly appreciated.
(A + B + C) (A’B’ + C)
A’B’C + AC + BC + C
C(A’B’ + A + B + C)
C((A + B)’ + A + B + C)
I'm pretty sure I use the associative law next, but I don't understand how the not operator is distributed when rearranging.
From the point where you left:
C((A + B)’ + A + B + C)
C(1 + C) ; X' + X = 1 applied to X = A + B
C(1) ; 1 + <anything> = 1
C ; <anything>1 = <anything>
{a(b+c)+a’b}’
using demorgans theorem I got a'+ b'c'a + b' then I factored b' out of b'c'a + b' to get b'(1+c'a) which just turns into b'. plugging it back into the equation I'm left with a'+b'. Is that correct or do I have this all wrong?
{a(b+c)+(a'b)}' = (a (b+c))' . (a'b)'
= (a' + (b+c)') . (a+b')
= (a' + (b'.c')) . (a+b')
= (a.a') + (a'b') + (ab'c') + (b'c')
= 0 + a'b' + b'c'(a+1)
= a'b' + b'c'(1)
= a'b' + b'c'
= b'(a'+c')
Hello I am trying to simplify this expression (proving consensus expression):
(a + b)(b'+ c)(a + c) = (a + b)(b'+ c)
I was thinking of adding (a+b)(b'+ c)(a + c + b' + b), but I don't know what to do after.
Take a look at this:
(a + b)(b' + c)(a + c)
= (ab' + 0 + ac + bc)(a + c)
= (ab' + ab'c +ac + ac + abc + bc)
= (ab' + ab'c + ac + abc + bc)
= (ab'(1+c) + ac + bc(a + 1))
= (ab' + ac + bc)
= (ab' + c(a+b))
= (ab' + bb' + c (a+b))
= (a+b)(b' + c)
The key step is realising that bb' = 0 so you can safely add that term without affecting the result in the penultimate step.
(A+C')(B'+C')
AB'+AC'+BC'+C'
AB'+(A+B+1)C'
We Know ( 1+anything =1)
So required expression AB'+C' .
I'm taking a class on digital logic and I am having a hard time with boolean algebra and simplifying logic functions with it. I have tried answering this problem several times and I keep coming to the answer "1", which I feel is absolutely wrong.
The question is
Consider the logic function f(a,b,c) = abc + ab'c + a'bc + a'b'c + ab'c'. Simplify f using Boolean algebra as much as possible.
I have tried solving it several ways using the boolean identities given in my textbook and from lecture, but I keep coming to something like c + 1 which is equivalent to 1, which I don't feel is the correct answer considering the next question in the problem.
Here is my last attempt:
f(a,b,c) = abc + ab'c + a'bc + a'b'c + ab'c'
= a(bc + b'c + b'c') + a'(bc + b'c) # Distributive, took out the a and the a' separately.
= (a + a')((bc + b'c + b'c') + (bc + b'c)) # Distributive(?), took out the a and a' together (This is probably where I screwed up).
= (1)((c + b'c') + c) # a + a' = 1; bc + b'c = c (Combining).
= c + b'c' + c # cleaned up a little.
= c + b'c' # c + c = c.
= c + (b' + c') # b'c' = b' + c' (DeMorgan's Theorem).
= 1 + b' # c + c' = 1.
= 1 # 1 + b' = 1
This feels absolutely wrong to me, and the next question asks me to make the logic circuit for it, which I don't think is possible.
Can anyone help/walk me through what I am doing wrong? I would really appreciate it. :(
(P.S. I used code formatting, I apologize if this is annoying to some.)
By this table:
A 1 1 1 1 0 0 0 0
B 1 1 0 0 1 1 0 0
C 1 0 1 0 1 0 1 0
Y 1 0 1 1 1 0 1 0
Y=ab'+c
I've got it :D
f(a,b,c) = abc + ab'c + a'bc + a'b'c + ab'c'
= a(bc + b'c + b'c') + a'(bc + b'c)
= a(c(b + b') + b'c') + a'(c(b + b'))
= a(c * 1 + b'c') + a'(c * 1)
= a(c + b'c') + a'c
= a(c'(b'c')')' + a'c
= a(c'(b + c))' + a'c
= a(c'b +cc')' + a'c
= a(c'b)' + a'c
= a(c+b') + a'c
= ac + ab' + a'c
= c(a + a') + ab'
= ab' + c
I have a boolean simplification problem that's already been solved.. but I'm having a hard time understanding one basic thing about it.. the order in which it was solved.
The problem is simplifying this equation:
Y = ¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + ABC
The solution is:
Y = ¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + ABC
= ¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + A¬BC + ABC (idempotency for A¬BC)
= ¬A¬C(¬B + B) + A¬B(¬C + C) + AC(¬B + B)
= ¬A¬C + A¬B + AC
The way I solved it is:
Y = ¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + ABC
= ¬A¬B¬C + ¬AB¬C + ¬A¬B¬C + A¬B¬C + A¬BC + ABC (idempotency for ¬A¬B¬C)
= ¬A¬C(¬B + B) + ¬B¬C(¬A + A) + AC(¬B +B)
= ¬A¬C + ¬B¬C + AC
So how do I know which term to use the law of idempotency on? Thanks.
¬A¬B¬C + ¬AB¬C + A¬B¬C + A¬BC + ABC
¬A¬C(¬B + B) + A(¬B¬C + ¬BC + BC)
¬A¬C + A(¬B¬C + ¬BC + BC) <- see truth table below for the simplification of this
¬A¬C + A(¬B + C)
¬A¬C + A¬B + AC
truth table:
B C
0 0 = 1 + 0 + 0 = 1
0 1 = 0 + 1 + 0 = 1
1 0 = 0 + 0 + 0 = 0
1 1 = 0 + 0 + 1 = 1
which is ¬B + C