Quiz 2
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 BB with operations ++ (OR), \cdot (AND), ' (NOT), and elements 0,10, 1 satisfying:
AxiomAND formOR form
Commutativeab=baa \cdot b = b \cdot aa+b=b+aa + b = b + a
Distributivea(b+c)=(ab)+(ac)a \cdot (b + c) = (a \cdot b) + (a \cdot c)a+(bc)=(a+b)(a+c)a + (b \cdot c) = (a + b) \cdot (a + c)
Identitya1=aa \cdot 1 = aa+0=aa + 0 = a
Complementaa=0a \cdot a' = 0a+a=1a + a' = 1

9.2 Boolean Functions

A Boolean function f:{0,1}n{0,1}f: \{0,1\}^n \to \{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:
yˉyxˉ01x11\begin{array}{c|cc} & \bar{y} & y \\ \hline \bar{x} & 0 & 1 \\ x & 1 & 1 \end{array}
This represents x+yˉx + \bar{y}.

✅ Practice Questions

Q1: Simplify F(x,y,z)=xyz+xyz+xyz+xyzF(x,y,z) = x'y'z + x'yz + xy'z' + xy'z.
Solution
=xz(y+y)+xy(z+z)=xz(1)+xy(1)=xz+xy= x'z(y' + y) + xy'(z' + z) = x'z(1) + xy'(1) = x'z + xy' Q2: Prove a+ab=a+ba + a'b = a + b. Solution
a+ab=(a+a)(a+b)=1(a+b)=a+ba + a'b = (a + a')(a + b) = 1(a + b) = a + b (using distributivity). Join Discord PreviousNumber Theory & RSANextProbability Applications
Document outline

Keep your place and jump directly to a heading.

Table of Contents
System Normal // Awaiting Context

Intelligence Hub

Navigate the knowledge graph to generate context. The Hub adapts dynamically to surface backlinks, related notes, and metadata insights.