Reduce the boolean expression to two literals

[annpaulveal]

Homework Statement

ABC'D + A'BD + ABCD

The Attempt at a Solution

Here is as far as I have gotten:

BD (AC' + A' + AC)
BD (AC' + A')

According to Wolfram Alpha, the answer should just be BD. Can someone help me get there?

 

[Filip Larsen]

Given the problem statement is correct you have two errors in the first line (a missing negation and a case of swapped symbol). I recommend you start from the beginning and take each step slowly, making sure all the symbols are transformed correctly along the way.

 

[annpaulveal]

I fixed the errors, sorry. Can someone tell me where to go next?

 

[annpaulveal]

Never mind, just solved it!

Last steps:

BD (A(C+C') + A')
BD (A+A')
BD

 

[Saitama]

Are you familiar with A+BC=(A+B)(A+C)?

EDIT: Nvm, this isn't going to help.