Reduce the boolean expression to two literals

  • Thread starter Thread starter annpaulveal
  • Start date Start date
  • Tags Tags
    Expression
Click For Summary

Discussion Overview

The discussion revolves around simplifying a boolean expression involving multiple variables. Participants are attempting to reduce the expression ABC'D + A'BD + ABCD to a simpler form, ideally to two literals.

Discussion Character

  • Homework-related

Main Points Raised

  • One participant presents the initial expression and their attempt at simplification, reaching a partial result of BD (AC' + A').
  • Another participant points out errors in the initial attempt, suggesting that there are missing negations and symbol swaps that need correction.
  • A later reply indicates that the initial errors were fixed and asks for further guidance on the next steps in the simplification process.
  • One participant claims to have solved the problem, detailing their final steps leading to the expression BD.
  • Another participant references a boolean algebra identity but later retracts the comment, indicating it may not be relevant to the current problem.

Areas of Agreement / Disagreement

There is no consensus on the simplification process, as participants express differing views on the correctness of the initial steps and the relevance of certain identities. The discussion remains unresolved regarding the best approach to simplify the expression.

Contextual Notes

Participants have noted potential errors in the initial expression, including missing negations and symbol swaps, which may affect the simplification process. The discussion reflects uncertainty about the correct application of boolean algebra rules.

annpaulveal
Messages
15
Reaction score
0

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?
 
Last edited:
Physics news on Phys.org
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.
 
I fixed the errors, sorry. Can someone tell me where to go next?
 
Never mind, just solved it!

Last steps:

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

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

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 4 ·
Replies
4
Views
10K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 6 ·
Replies
6
Views
5K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K