I Understanding Absorption Laws (Boolean Algebras)

  • I
  • Thread starter Thread starter mathrookie
  • Start date Start date
  • Tags Tags
    Logic
mathrookie
Messages
1
Reaction score
0
TL;DR Summary
I cannot apply distribution law
I can't understand how absorption law is obtained. I get following steps.##a∨(a∧𝑏) = (a∧⊤)∨(a∧𝑏)##
##=(a∨a)∧(a∨b)∧(⊤∨a)∧(⊤∨b)##
then,

I come up with ##=a∧(a∨b)∧⊤∧⊤## so ##=a∧(a∨b)##

But, I cannot get ##a∧(⊤∨𝑏)##, as shown on here, therefore ##a##.

Can you help me? I cannot obtain ##a∧(⊤∨𝑏)## Some people say in other answers in different questions, it is obtained by distribution law. However, what I got by this is the first equation.
[1]: https://proofwiki.org/wiki/Absorption_Laws_(Boolean_Algebras)
 
Physics news on Phys.org
mathrookie said:
TL;DR Summary: I cannot apply distribution law

I can't understand how absorption law is obtained. I get following steps.##a∨(a∧𝑏) = (a∧⊤)∨(a∧𝑏)##
##=(a∨a)∧(a∨b)∧(⊤∨a)∧(⊤∨b)##
Your expression above doesn't help.
Follow the logic in your link to get this:
##a ∨ (a∧𝑏) = (a∧⊤)∨(a∧𝑏)##
##= a ∧ (T ∨ b) ## ∧ distributes over ∨
## = a ∧ T = a## T ∨ b = T
Edited to fix earlier typo.
mathrookie said:
then,

I come up with ##=a∧(a∨b)∧⊤∧⊤## so ##=a∧(a∨b)##

But, I cannot get
##a∧(⊤∨𝑏)##, as shown on here, therefore ##a##.

Can you help me? I cannot obtain
##a∧(⊤∨𝑏)## Some people say in other answers in different questions, it is obtained by distribution law. However, what I got by this is the first equation.
[1]: https://proofwiki.org/wiki/Absorption_Laws_(Boolean_Algebras)
 
Last edited:
Mark44 said:
Your expression above doesn't help.
Follow the logic in your link to get this:
##a ∨ (a∧𝑏) = (a∧⊤)∨(a∧𝑏)##
##= a ∧ (T ∧ b) ## ∧ distributes over ∨
## = a ∧ T = a## T ∨ b = T
Slight typo here, should be ##a\wedge(\top\vee b)##
OP, you can also use a truth table to see that the two expressions must be equal to a.
 
TeethWhitener said:
Slight typo here, should be ##a\wedge(\top\vee b)##
Right. I've fixed it in my post.
 
  • Like
Likes TeethWhitener
Namaste & G'day Postulate: A strongly-knit team wins on average over a less knit one Fundamentals: - Two teams face off with 4 players each - A polo team consists of players that each have assigned to them a measure of their ability (called a "Handicap" - 10 is highest, -2 lowest) I attempted to measure close-knitness of a team in terms of standard deviation (SD) of handicaps of the players. Failure: It turns out that, more often than, a team with a higher SD wins. In my language, that...
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...

Similar threads

Back
Top