(a∧–b) ∨ (–b∧c) ∨ (–a∧c) = (a∧–b) ∨ (–a∧c)

How can I prove this,

I tried to use the distribution law for the first/last two terms, but it doesn't seem to work. Can anyone give me some hints?

Thanks a lot

Printable View

- January 10th 2010, 04:56 PMwxyjBoolean algebra Help
(a∧–b) ∨ (–b∧c) ∨ (–a∧c) = (a∧–b) ∨ (–a∧c)

How can I prove this,

I tried to use the distribution law for the first/last two terms, but it doesn't seem to work. Can anyone give me some hints?

Thanks a lot - January 10th 2010, 05:58 PMr0r0trog
i can't see the symbols... but an easy way to do it is to just make a truth table out of it. you only have 3 unknowns so you only have 8 different combinations to calculate.

- January 10th 2010, 06:53 PMwxyj
- January 10th 2010, 06:55 PMr0r0trog
well, as i said, i can't see your symbols... write them as AND, NAND, OR etc and i'll see what i can do.

- January 10th 2010, 08:05 PMwxyj
(a AND –b) OR (–b AND c) AND (–a AND c) = (a AND –b) OR (–a AND c)

Thanks for trying to help - January 10th 2010, 09:05 PMDrexel28
- January 10th 2010, 10:20 PMwxyj
- January 10th 2010, 10:23 PMDrexel28
- January 11th 2010, 02:51 AMemakarovQuote:

(a /\ -b) \/ (-b /\ c) \/ (-a /\ c) = (a /\ -b) \/ (-a /\ c)

Next, it's easy to see that the left-hand side is the right-hand side plus one disjunct: (-b /\ c). So we should show that adding this disjunct does not change anything. If we show that (a /\ -b) \/ (-a /\ c) = (-b /\ c) \/ X for some X, then

(a /\ -b) \/ (-b /\ c) \/ (-a /\ c) = (-b /\ c) \/ X \/ (-b /\ c) = (-b /\ c) \/ X = (a /\ -b) \/ (-a /\ c)

To show that (a /\ -b) \/ (-a /\ c) = (-b /\ c) \/ X, we can use the fact that the representation of a function as a DNF where each disjunct has all prop. letters is unique. So one has to add c to the first disjunct on the left and b to the second one, as well as a to the right-hand side. This can be done by adding c \/ -c, b \/ -b and a \/ -a and using the distributive law. - January 11th 2010, 12:43 PMwxyj
- January 11th 2010, 01:38 PMDrexel28
- January 11th 2010, 02:15 PMwxyj