Boolean algebra -Sum of products form - theorem

Click For Summary
SUMMARY

The discussion focuses on proving the equality of two Boolean expressions using established theorems in Boolean algebra. The expressions in question are A'BD' + BCD + ABC' + AB'D and A'BD' + BCD + ABC' + AB'D + BC'D' + A'BC + ABD. Participants emphasize the importance of applying the distributive property to simplify the right-hand side to match the left-hand side, facilitating the proof process. A resource for creating a properties list for Boolean algebra is also recommended to aid in understanding and manipulation of the expressions.

PREREQUISITES
  • Understanding of Boolean algebra concepts
  • Familiarity with the distributive property in Boolean expressions
  • Knowledge of sum of products (SOP) form
  • Ability to identify and apply Boolean theorems
NEXT STEPS
  • Study the distributive property in Boolean algebra
  • Learn how to manipulate expressions into sum of products form
  • Explore common Boolean theorems and their applications
  • Practice simplifying Boolean expressions using properties lists
USEFUL FOR

Software engineering students, digital logic designers, and anyone looking to deepen their understanding of Boolean algebra and its applications in digital circuits.

icelated
Messages
8
Reaction score
0

Homework Statement



Show the following is true using theorems. State which theorem you use at each step.

A'BD' + BCD + ABC' + AB'D = A'BD' + BCD + ABC' + AB'D + BC'D' + A'BC + ABD


Homework Equations





The Attempt at a Solution



I am very new to boolean algebra and very confused. This is a digital logic course for software engineering students. I don't know where to begin. Working on the left side first would i need to expand it to make sure that every sum of product has the same amount of variables? Or, should i just try to combine like variables and work it out? Should i work with all the terms before the = like: ( A'BD' + BCD + ABC' + AB'D) and pull out a like term like A?

I just don't understand how to do this. Looking at the different theorems in the book don't help any. Can you give me some steps on how to solve this? Maybe, help me work out the first sum of products?(before the = ) than i can see how its done so i can finish the rest of it. I learn by example.
 
Physics news on Phys.org
Ok, the best way to go about solving this problem is to put together a list of all the things that you can do with Boolean Algebra. When you have a properties list, it'll be a lot easier to manipulate and simplify. Here's a site that'll help you make your list. http://www.ee.surrey.ac.uk/Projects/Labview/boolalgebra/
The way I solved this was to use the distributive property on the right hand side first. It'll help with the cancellations. You want to make the right side look like the left side. Try this first.
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
32K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 32 ·
2
Replies
32
Views
3K
  • · Replies 14 ·
Replies
14
Views
5K
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 6 ·
Replies
6
Views
3K