World's most popular travel blog for travel bloggers.

# [Answers] Boolean expression logic law confusion

, ,
Problem Detail:

I've been trying to attempt a particular question that I need to translate truth table into boolean expression but I'm completely stuck on one point now.

First, I worked it out by using Sums of product by getting X first.

(I did this by taking the inputs with X = 1)

A'B'C'D' + A'B'C'D + A'B'CD + A'BC'D' + A'BCD' + A'BCD +AB'C'D + AB'CD + ABC'D' + ABC'D

= A'B'C'(D'+D) + A'CD(B'+B) + A'BC(D+D') + AB'D(C'+C) + ABC'(D'+D) (Distributive Law)

= A'B'C' + A'CD + A'BC + AB'D + ABC' (Double Complement Law)

[Currently I'm stuck here and don't know how to proceed]

#### Answered By : Klaus Draeger

If you want to obtain a minimal DNF in this way, it is generally a good idea to follow the Quine-McCluskey algorithm (https://en.wikipedia.org/wiki/Quine-McCluskey_algorithm). Otherwise, it is easy to get stuck when you use distributivity to combine each term with just one of several possible partners (if you look at your kmap, this would correspond to arranging the \$1\$ into pairs in such a way that none of them combine into larger blocks).

One other problem with your computation is that you lost the term \$A'BC'D'\$ when forming pairs (the reason why you still ended up with five pairs os that \$A'BCD\$ is covered twice).