- Digital Electronics Tutorial
- Digital Electronics - Home
- Digital Electronics Basics
- Types of Digital Systems
- Types of Signals
- Logic Levels And Pulse Waveforms
- Digital System Components
- Digital Logic Operations
- Digital Systems Advantages
- Number Systems
- Number Systems
- Base Conversions
- Binary Numbers Representation
- Binary Arithmetic
- Signed Binary Arithmetic
- Octal Arithmetic
- Hexadecimal Arithmetic
- Complement Arithmetic
- Binary Codes
- Binary Codes
- 8421 BCD Code
- Excess-3 Code
- Gray Code
- ASCII Codes
- EBCDIC Code
- Code Conversion
- Error Detection & Correction Codes
- Logic Gates
- Logic Gates
- AND Gate
- OR Gate
- NOT Gate
- Universal Gates
- XOR Gate
- XNOR Gate
- CMOS Logic Gate
- Two Level Logic Realization
- Threshold Logic
- Boolean Algebra
- Boolean Algebra
- Laws of Boolean Algebra
- Boolean Functions
- DeMorgan's Theorem
- SOP and POS Form
- Minimization Techniques
- K-Map Minimization
- Three Variable K-Map
- Four Variable K-Map
- Five Variable K-Map
- Six Variable K-Map
- Don't Care Condition
- Quine-McCluskey Method
- Min Terms and Max Terms
- Canonical and Standard Form
- Max Term Representation
- Simplification using Boolean Algebra
- Combinational Logic Circuits
- Digital Combinational Circuits
- Digital Arithmetic Circuits
- Multiplexers
- Parity Bit Generator and Checker
- Comparators
- Encoders
- Keyboard Encoders
- Priority Encoders
- Decoders
- Demultiplexers
- Arithmetic Logic Unit
- 7-Segment LED Display
- Code Converters
- Code Converters
- Binary to Decimal Converter
- Decimal to BCD Converter
- BCD to Decimal Converter
- Binary to Gray Code Converter
- Gray Code to Binary Converter
- BCD to Excess-3 Converter
- Excess-3 to BCD Converter
- Adders
- Half Adders
- Full Adders
- Serial Adders
- Parallel Adders
- Full Adder using Half Adder
- Half Adder vs Full Adder
- Binary Adder-Subtractor
- Subtractors
- Half Subtractors
- Full Subtractors
- Parallel Subtractors
- Full Subtractor using 2 Half Subtractors
- Half Subtractor using NAND Gates
- Sequential Logic Circuits
- Digital Sequential Circuits
- Clock Signal and Triggering
- Latches
- Flip-Flops
- Conversion of Flip-Flops
- Shift Registers
- Shift Register Applications
- Counters
- Finite State Machines
- Algorithmic State Machines
- A/D and D/A Converters
- Analog-to-Digital Converter
- Digital-to-Analog Converter
- DAC and ADC ICs
- Realization of Logic Gates
- NOT Gate from NAND Gate
- OR Gate from NAND Gate
- AND Gate from NAND Gate
- NOR Gate from NAND Gate
- XOR Gate from NAND Gate
- XNOR Gate from NAND Gate
- NOT Gate from NOR Gate
- OR Gate from NOR Gate
- AND Gate from NOR Gate
- NAND Gate from NOR Gate
- XOR Gate from NOR Gate
- XNOR Gate from NOR Gate
- NAND/NOR Gate using CMOS
- Memory Devices
- Memory Devices
- RAM and ROM
- Cache Memory Design
- Programmable Logic Devices
- Programmable Logic Devices
- Programmable Logic Array
- Programmable Array Logic
- Field Programmable Gate Arrays
- Digital Electronics Families
- Digital Electronics Families
- CPU Architecture
- CPU Architecture
Laws of Boolean Algebra
Boolean algebra is a mathematical tool that deals with logical operations and binary number system. It builds the foundation of digital electronics and computer science.
The laws and rules in Boolean algebra are the sets of logical statements or expressions upon which all the logical expressions are built. Each law of the Boolean algebra can be interpreted as an operation performed by a logic circuit like a logic gate.
In this chapter, we will learn about laws and rules of Boolean algebra that are used to simplify the logical functions and Boolean expressions. These laws and rules are essential tools in Boolean algebra that help to reduce the complexity and optimize the digital circuits and systems.
Let us learn the primary laws and rules of Boolean algebra in detail that are used to perform logical operations.
Laws of Boolean Algebra
All the important laws and rules of Boolean algebra are explained below −
Rules of Logical Operations
There are three basic logical operations namely, AND, OR, and NOT. The following table highlights the rules associated with these three logical operations −
AND Operation | OR Operation | NOT Operation |
---|---|---|
0 AND 0 = 0 | 0 OR 0 = 0 | NOT of 0 = 1 |
0 AND 1 = 0 | 0 OR 1 = 1 | NOT of 1 = 0 |
1 AND 0 = 0 | 1 OR 0 = 1 | |
1 AND 1 = 1 | 1 OR 1 = 1 |
These rules of Boolean algebra can be implemented using logic gates.
AND Laws
In Boolean algebra, there are four AND laws given below −
- Law 1 − A · 0 = 0 (This law is called null law).
- Law 2 − A · 1 = A (This law is called identity law).
- Law 3 − A · A = A
- Law 4 − A · A' = 0
OR Laws
There are four OR laws described below −
- Law 1 − A + 0 = A (This law is called null law).
- Law 2 − A + 1 = 1 (This law is called identity law).
- Law 3 − A + A = A
- Law 4 − A + A' = 1
Complementation Laws
There are following five complementation laws in Boolean algebra −
- Law 1 − 0' = 1
- Law 2 − 1' = 0
- Law 3 − If A = 0, Then A' = 1
- Law 4 − If A = 1, Then A' = 0
- Law 5 − (A')' = A (This is called double complementation law)
Commutative Laws
There are following two commutative laws in Boolean algebra −
Law 1 − According to this law, the operation A OR B produces the same output as the operation B OR A, i.e.,
A + B = B + A
Hence, the order of the variables does not affect the OR operation.
This law can be extended to any number of variables. For example, for three variables, it will be,
A + B + C = C + B + A = B + C + A = C + A + B
Law 2 − According to this law, the output of the A AND B operation is same as that of the B AND A operation, i.e.,
A · B = B · A
This law states that the order in which the variables are ANDed does not affect the result.
We can extend this law to any number of variables. For example, for three variables, we get,
A · B · C = A · C · B = C · B · A = C · A · B
Associative Laws
Associative laws define the ways of grouping the variables. There are two associative laws as described below.
Law 1 − The expression A OR B ORed with C results the same as the A Ored with B OR C, i.e.,
(A + B) + C = A + (B + C)
This law can be extended to any number of variables. For example, for 4 variables, we get,
(A + B + C) + D = A + (B + C + D) = (A + B) + (C + D)
Law 2 − The expression A AND B ANDed with C results the same as the expression A ANDed with B AND C, i.e.,
(A · B) · C = A · (B · C)
We can extend this law to any number of variables. For example, if we have 4 variables, then
(ABC)D = A(BCD) = (AB)·(CD)
Distributive Laws
In Boolean algebra, there are the following two distributive laws that allow for multiplying or factoring out of expressions.
Law 1 − According to this law, we OR several variables and then AND the result with a single variable.
It gives the same result as the expression in which the single variable is ANDed with each of the several variables and then ORed the product terms, i.e.,
A · (B + C) = AB + AC
We can extend this law to any number of variables. For example,
A(BC + DE) = ABC + ADE
AB(CD + EF) = ABCD + ABEF
Law 2 − According to this law, if we AND several variables and then the result is ORed with a single variable.
It gives the same result as we OR the single variable with each of the several variables and then the sum terms are ANDed together, i.e.,
A + BC = (A + B)(A + C)
Proof − The proof of this law is explained here,
RHS = (A + B)(A + C)
= AA + AB + AC + BC
= A + AB + AC + BC
= A (1 + B + C) + BC
Since,
1 + B + C = 1 + C = 1
Therefore,
A · 1 + BC = A + BC = LHS
Redundant Literal Rule (RLR)
Under this rule, there are two laws in Boolean algebra, which are explained here.
Law 1 − According to this law, if we OR a variable with the AND of the complement of the variable and another variable. Then, it is same as the OR of the two variables, i.e.,
A + A’B = A + B
Proof − The proof of this law is explained here,
LHS = A + A’B = (A + A’)(A + B)
= 1 · (A + B) = A + B = RHS
Law 2 − According to this law, if we AND a variable with the OR of the complement of the variable and another variable, it is equivalent to when we AND the two variables, i.e.,
A(A’ + B) = AB
Proof − This law can be proved as follows,
LHS = A(A’ + B) = AA’ + AB
= 0 + AB = AB = RHS
Both these laws show that the complement of a term appearing in another term is redundant. Hence, the rule is named as Redundant Literal Rule.
Idempotence Laws
The term "idempotence" is a synonym for "same value". There are two idempotence laws in Boolean algebra. They are,
Law 1 − According to this law, ANDing a variable with itself is equal to the variable, i.e.,
A · A = A
Law 2 − According to this law, ORing a variable with itself is equal to the variable, i.e.,
A + A = A
Absorption Laws
There are two absorption laws in Boolean algebra and they are explained below.
Law 1 − According to this law, if we OR a variable with the AND of the that variable and another variable, then it is equal to the variable itself, i.e.,
A + A · B = A
This can be proved as follows,
LHS = A + A · B = A · (1 + B)
= A · 1 = A = RHS
Law 2 − According to this law, the AND of a variable with the OR of that variable and another variable is equivalent to the variable itself i.e.,
A(A + B) = A
This can also be proved as follows,
LHS = A(A + B) = AA + AB
= A + AB = A(1 + B) = A · 1 = A = RHS
Hence, this law proves that if a term appears in another term, then the latter term will become redundant and can be removed from the expression.
DeMorgan's Theorem
In Boolean algebra, DeMorgan’s theorem defines two laws which are explained below.
Law 1 − According to this law, the complement of a sum of variables is equivalent to the product of complement of each of the variables, i.e.,
$$\mathrm{\overline{A+B} \: = \: \bar{A}\cdot\bar{B}}$$
This law can be extended to any number of variables.
Law 2 − The second law of DeMorgan’s theorem states that the complement of a product of variables is equivalent to the sum of complement of each of the variables, i.e.,
$$\mathrm{\overline{AB} \: = \: \bar{A}\: + \:\bar{B}}$$
This law can also be extended to any number of variables.
Conclusion
In this chapter, we explained all the important laws, rules, and theorems used in Boolean algebra. These rules and laws are extensively used to simplify the logical expressions in digital electronics.
Basically, all these rules provide a set of tools for simplification of complex Boolean functions and make the digital circuits simpler.