Reducing Boolean Expressions: Axioms and Simplification Techniques

  • Context: Undergrad 
  • Thread starter Thread starter deathprog23
  • Start date Start date
  • Tags Tags
    Expression Reduction
Click For Summary
SUMMARY

The discussion focuses on the simplification of the Boolean expression A(B+C)+B'D+C'D' using axiomatic methods. The participant successfully identifies that the term (B+C) is redundant when A is true, leading to the simplified expression A+B'D+C'D'. The key axiom involved in this simplification is the redundancy of terms when one term guarantees the truth of the entire expression. Participants also discuss the necessity of proving that B'C' is included in B'D+C'D' as part of the simplification process.

PREREQUISITES
  • Understanding of Boolean algebra and expressions
  • Familiarity with axiomatic proof techniques in logic
  • Knowledge of simplification methods for Boolean expressions
  • Experience with redundancy in logical expressions
NEXT STEPS
  • Study Boolean algebra axioms and their applications
  • Learn about the Consensus Theorem in Boolean simplification
  • Explore Karnaugh maps for visual simplification of Boolean expressions
  • Research methods for proving inclusion of terms in Boolean expressions
USEFUL FOR

This discussion is beneficial for students of computer science, electrical engineers, and anyone involved in digital logic design or Boolean algebra simplification techniques.

deathprog23
Messages
5
Reaction score
0
I have been stumped by a simplification problem - well, I can solve it, but I'm not sure how to do it axiomatically!

The expression is A(B+C)+B'D+C'D'

I can see that the (B+C) is redundant in the first term - if A is true, the whole is true regardless of (B+C)'s value. So it reduces to A+B'D+C'D'

What axioms are used in the proof of this? Thanks!
 
Physics news on Phys.org
Hi deathprog23! :smile:

Hint: you need to prove that B'C' lies in B'D+C'D' :wink:
 
tiny-tim said:
Hi deathprog23! :smile:

Hint: you need to prove that B'C' lies in B'D+C'D' :wink:

Nice hint! I got it now, thanks very much :)
 

Similar threads

Undergrad Can you calculate the probability of a complex logic expression?
  • · Replies 3 ·
Replies
3
Views
2K
How to know if a certain number is a don't care in KMAP
  • · Replies 11 ·
Replies
11
Views
2K
Undergrad What Are the Axioms of Fuzzy Logic and How Do They Extend Boolean Algebra?
  • · Replies 7 ·
Replies
7
Views
3K
Undergrad Implication, Boolean Expression and Venn Diagrams
  • · Replies 12 ·
Replies
12
Views
8K
Undergrad Computer languages as examples in formal logic
  • · Replies 40 ·
2
Replies
40
Views
9K
Undergrad Missing(?) rigor in proof involving countable union of countable sets
  • · Replies 10 ·
Replies
10
Views
2K
Boolean Algebra - Simplifying to two different expressions
  • · Replies 12 ·
Replies
12
Views
2K
Simplification of Boolean Expressions
  • · Replies 3 ·
Replies
3
Views
3K
Undergrad Can chatgpt accurately calculate expected lengths in Pascal's triangle?
  • · Replies 66 ·
3
Replies
66
Views
8K
Undergrad Dimension of an Angle: Clarifying the SI Standard
  • · Replies 1 ·
Replies
1
Views
2K