Boolean Algebra Basics

Boolean algebra basics contains a set of axioms, postulates, and theorems. It also contains a set of elements and operators. The operators are called the binary operators.

A set of elements is a collection of objects that have similar properties. This definition of a set is debatable, but that is not the scope of this article.

The general notion of set is that it contains elements of similar nature.

Example of Set:

S = \{2, 4, 6, 8, \}

The notation x \in S mean “element x is in set S”.

The * is a binary operator if for any pair (a, b) it define the rule to find c and also, a, b, c \in S. It is not a binary operator is a, b \in S and c \notin S.

Fundamental Postulates of Boolean Algebra

The fundamental postulates for Boolean Algebra are given below. Thought Boolean algebra was introduced by George Boole in 1845, the postulates were formulated by E.V.Huntington in 1904, that every Boolean algebra must satisfy.

We only use two variable Boolean algebra as far as digital design is concerned. The 6 postulates in Boolean algebra basics are listed below.

  1. Closure
  2. Associative law
  3. Commutative law
  4. Identity element
  5. Inverse
  6. Distributive law

Let us discuss each of them, one at a time.

Closure

A set S is closed with respect to binary operator * if for every pair of an element in set S, the binary operator specifies a rule to find an element in S.

Example,

N is set of natural numbers ,  N = {1, 2, 3, 4, …}

Suppose + is the binary operator, then you take any number a and b in N,

a + b \in N 3 + 2 = 5

2, 3 \in N and 5 \in N.

but, when we do subtraction.

a - b \notin N 2 - 4 = -2

2, 4 \in N and -2 \notin N.

The subtraction (-) is not a binary operator because it does not satisfy closure property.

Associativity Law

A binary operator (*) is associative on a set S whenever following is true.

x*(y*z) = (x * y) * z , \forall x, y, z \in S

For example, The multiplication (x) is an associative binary operator on a set of natural numbers N.

= 2 \times ( 4 \times 1) = 2 \times 4 = 8

It is equal to the following.

= (2 \times 4) \times 1 = 8 \times 1 = 8

But, addition(+) is also an associative binary operator.

= 2 + ( 4 + 5) = 2 + 9 = 114

Is equal to the following equation.

= (2 + 4) + 5 = 6 + 5 = 11

Communicative Law

A binary operator * is communicative on a set S, whenever

x * y = y * x, \forall x, y \in S

The addition operator (+) and multiplication (x) are communicative on a set of natural numbers (N).

For example,

5 + 4 = 4 + 5 = 9

and

4 \times 2 = 2 \times 4 = 8

Identity Element

A set S has an identity element with respect to a binary operation * on S, if there exists an element e \in S such that

x * e = e * x = x, for any x \in S

The identity element for a set S is always unique to the set. Consider the following example, where + is the binary operation on a set of integers, Z and 0 is the identity element.

Z = 4 + 0 = 0 + 4 = 4 Z = 8 + 0 = 0 + 8 = 8

Inverse

A set S with identity element e is said to have an inverse with respect to binary operation *, whenever, for all

x \in S , there exist y \in S such that

x * y = e

Let us take the previous example of addition +  on a set of integers Z, with identity element 0.

Let x be an element in Z,

x \in Z x = 5

Then, -x also belong to Z, let us call it y.

y \in Z y = -5 x + y = 0

Therefore, a set of integers have inverse with respect to binary operation – addition.

Distributive Law

The distributive law is a very important property of algebraic structures. If * and . are two binary operations on set S, then * is said to distributive over . whenever

x * ( y . z) = (x * y) . (x * z) for all, x,y,z \in S

Also, . is distributive over * whenever

x . (y * z) = (x . y) * (x . z) for all, x, y, z \in S

From the above postulate in Boolean algebra basics, it clear that all binary operator cannot hold all six properties. In fact, the modern algebra studies these algebraic structures formally and trying to find interesting properties.

The topics of study are groups, sub-groups, monoid, rings, and fields.

Skip to content