Neural Sync Active
Boolean Algebra
Registry Synced
Boolean Algebra
274 words
1 min read
Reading compass
Now · 9.1 Boolean Algebra Axioms
Boolean Algebra
9.1 Boolean Algebra Axioms
A Boolean algebra is a set B with operations + (OR), ⋅ (AND), ′ (NOT), and elements 0,1 satisfying:
| Axiom | AND form | OR form |
|---|---|---|
| Commutative | a⋅b=b⋅a | a+b=b+a |
| Distributive | a⋅(b+c)=(a⋅b)+(a⋅c) | a+(b⋅c)=(a+b)⋅(a+c) |
| Identity | a⋅1=a | a+0=a |
| Complement | a⋅a′=0 | a+a′=1 |
9.2 Boolean Functions
A Boolean function f:{0,1}n→{0,1} can be expressed in:
- DNF (Sum of Products): OR of ANDs
- CNF (Product of Sums): AND of ORs
Minterms
A minterm is an AND of all variables (complemented or not). Any Boolean function can be expressed as a sum of minterms.
9.3 Karnaugh Maps
A K-map is a graphical method for minimizing Boolean expressions.
For 2 variables:
This represents x+yˉ.
✅ Practice Questions
Q1: Simplify F(x,y,z)=x′y′z+x′yz+xy′z′+xy′z.
Solution=x′z(y′+y)+xy′(z′+z)=x′z(1)+xy′(1)=x′z+xy′ Q2: Prove a+a′b=a+b. Solutiona+a′b=(a+a′)(a+b)=1(a+b)=a+b (using distributivity). Join Discord PreviousNumber Theory & RSANextProbability Applications