0% found this document useful (0 votes)
10 views

Laws and Rules of Boolean Algebra: Digital System Design

This document lists the laws and rules of Boolean algebra, including commutative, associative, distributive, identity, idempotence, complement, involution, absorption, simplification, DeMorgan's rule, logic adjacency, and consensus laws. It provides the mathematical representations of each law/rule using Boolean operators such as AND, OR, and NOT. The document serves as a reference for the fundamental properties and theorems that govern algebraic operations in Boolean logic.

Uploaded by

Ranu Games
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
10 views

Laws and Rules of Boolean Algebra: Digital System Design

This document lists the laws and rules of Boolean algebra, including commutative, associative, distributive, identity, idempotence, complement, involution, absorption, simplification, DeMorgan's rule, logic adjacency, and consensus laws. It provides the mathematical representations of each law/rule using Boolean operators such as AND, OR, and NOT. The document serves as a reference for the fundamental properties and theorems that govern algebraic operations in Boolean logic.

Uploaded by

Ranu Games
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

ECE331 Digital System Design  Jens­Peter Kaps

Laws and Rules of Boolean Algebra
Commutative Law A B=B A A⋅B=B⋅A
Associative Law A BC = ABC A⋅ B⋅C = A⋅B⋅C
Distributive Law A⋅ BC = A⋅C A⋅B AB⋅C= A B⋅ AC 
Null Elements A1=1 A⋅0=0
Identity A0= A A⋅1= A
Idempotence A A= A A⋅A= A
Complement A 
A =1 A⋅
A =0
Involution 
A= A
Absorption (Covering) A A⋅B= A A⋅ AB= A
Simplification  A A
 ⋅B= AB A⋅ 
A B= A⋅B
DeMorgan's Rule A B= 
A⋅
B A⋅B= 
A 
B
Logic Adjacency (Combining) A⋅B A⋅B
=A  = A
 AB⋅ A B
Consensus A⋅BB⋅C 
A⋅C = A⋅B A
⋅C  AB⋅ BC ⋅ A
 C =
 AB⋅ 
AC 
1/30/07

You might also like