Postulates

Postulates (or axioms) are propositions taken as facts; no proof is required. A well-known axiom states that the shortest distance between two points is a straight line.

1.      Let X be a variable. Then, X= 0 or X=1. If X=0, then X=1, and vice-versa.

2.      0 0=0

3.      0 1=1 0=0

4.      1 1=1

5.      0+0=0

6.      0+1=1+0=1

7.      1+1=1

 Theorems

1.      Commutative laws

1.      A B=B A

2.      A+B=B+A

2.      Associative laws

1.      (A B) C=A (B C)

2.      (A+B)+C=A+(B+C)

3.      Distributive laws

1.      A (B+C)=A B+A C

2.      A+(B C)=(A+B) (A+C)

4.      Identity laws

1.      A A=A

2.      A+A=A

5.      Negation laws

1.      (A)= A

2.      = =A

6.      Redundancy laws

Boolean Algebra is used to analyze and simplify the digital (logic) circuits. It uses only the binary numbers i.e. 0 and 1. It is also called as Binary Algebraor logical Algebra. Boolean algebra was invented by George Boole in 1854.

Rule in Boolean Algebra

Following are the important rules used in Boolean algebra.

·        Variable used can have only two values. Binary 1 for HIGH and Binary 0 for LOW.

·        Complement of a variable is represented by an overbar (-). Thus, complement of variable B is represented as . Thus if B = 0 then = 1 and B = 1 then  = 0.

·        ORing of the variables is represented by a plus (+) sign between them. For example ORing of A, B, C is represented as A + B + C.

·        Logical ANDing of the two or more variable is represented by writing a dot between them such as A.B.C. Sometime the dot may be omitted like ABC.

Boolean Laws

There are six types of Boolean Laws.

Commutative law

Any binary operation which satisfies the following expression is referred to as commutative operation.

Commutative law states that changing the sequence of the variables does not have any effect on the output of a logic circuit.

Associative law

This law states that the order in which the logic operations are performed is irrelevant as their effect is the same.

Distributive law

Distributive law states the following condition.

AND law

These laws use the AND operation. Therefore they are called as AND laws.

OR law

These laws use the OR operation. Therefore they are called as OR laws.

INVERSION law

This law uses the NOT operation. The inversion law states that double inversion of a variable results in the original variable itself.

Important Boolean Theorems

Following are few important boolean Theorems.

Boolean function/theorems	Description
Boolean Functions	Boolean Functions and Expressions, K-Map and NAND Gates realization
De Morgan’s Theorems	De Morgan’s Theorem 1 and Theorem 2