Boolean algebra is derived from algebra which is one of the major branches of mathematics. There are so many branches of mathematics such as calculus, arithmetic, algebra, geometry, numerical analysis etc., which are further elaborated into different categories. These branches are used in almost every field and have different methods to solve their related problems.
To discuss about Boolean algebra, we just go through with its main branch i.e., Algebra. There are five different types of Algebra which are as follow:
- Abstract Algebra
This type of algebra is used to solve the concepts regarding sets, binary operations, associativity, identity elements & inverse elements.
- Advanced Algebra
This branch will help you to solve the problems regarding equations with inequalities, conic sections, polynomial equation, sequences & series, matrices, quadratic functions with inequalities, rational expressions etc.
- Elementary Algebra
It covers the concepts including evaluating expressions and equations, variables, properties of inequalities and equalities etc.
- Linear Algebra
The topics including vector spaces, relations and computations, linear equations and matrices & matrix decomposition are dealt with under this branch.
- Communicative Algebra
This branch studies about algebraic number theory, algebraic geometry etc.
Define Boolean algebra
Boolean algebra deals with the operations on logical values and its variable values are only truth values i.e., true and false. Generally, It is denoted by 1 and 0. Boolean algebra is also called logical algebra or binary algebra and it exists in the main branch of Abstract Algebra.
Operations performed on Boolean algebra
The following are the basic operations which are performed on Boolean algebra:
- NOT Operation
- OR Operation
- AND Operation
Not operations is also called negation and represented as ¬ or !
OR operation is known as Disjunction and represented as ∨ or I I
AND operation is also defined as Conjunction and represented as ∧ or &&
Graphical Representation of Boolean algebraic operations
Boolean algebra operations can be represented by Venn Diagram by shading overlapping region.
Venn diagram representing conjunction, disjunction and negation is as under:
Boolean expressions are logical statements that are written with logical operators.
X OR Y
A AND B
(Here OR & AND are logical operators)
Truth table provides all possible logical values of logical variables and their combinations.
|A||B||A ∨ B||A ∧ B|
|True (1)||True (1)||True (1)||True (1)|
|True (1)||False (0)||True (1)||False (0)|
|False (0)||True (1)||True (1)||False (0)|
|False (0)||False (0)||False (0)||False (0)|
|True (1)||False (0)|
|False (0)||True (1)|
Laws of Boolean algebra
There are six Boolean algebra laws which are used to solve the Boolean algebraic expressions:
- AND Law
x . 0 = 0
x . 1 = x
x . x = x
x . x՟ = 0
- OR Law
x + 0 = x
x + 1 = 1
x + x = x
x + x՟ = 1
- Inversion Law
x + x̿ = 1
(It means the result of double inversion of a variable is the original variable.)
- Associative Law
(x . y) . z = x . (y . z)
(x + y) + z = x + (y + z)
- Distributive Law
x . (y . z) = (x . y) + (x . z)
x + (y . z) = (x + y) . (x . z)
- Commutative Law
x . y = y . x
x + y = y + x
Solution of Boolean Algebra Expressions by De Morgan’s Law:
The most widely used theorems to solve the Boolean algebra are De Morgan’s Laws. These are of two types: De Morgan’s First Law and De Morgan’s Second Law.
First law of De Morgan: (x . y)’ = x’ + y’
It states that the sum of their individual complement of a variable is equal to the complement of product of variable.
Truth table to verify De morgan First Law:
|x||y||x’||y’||(x . y)’||x’ + y’|
Second Law of De Morgan: (x + y)’ = x’ . y’
It states that the complement of sum of the variable is equal to the product of their individual complement or vice versa.
Truth table to verify De Morgan Second Law:
|x||y||x’||y’||(x . y)’||x’ + y’|
Boolean algebra expressions can be written in different forms and their result can be generated with truth tables by using a Boolean algebra calculator.
Example 1: Draw a Truth Table for x (y + z)
Given expression is x (y + z)
|x||y||Z||y + z||x (y + z)|
Example 2: Draw a truth table for (x + y) (x + z)
Given is (x + y) (x + z)
|x||y||z||x + y||x + z||(x + y) (x + z)|
You can verify this table using an online Boolean expression calculator.Recommend0 recommendationsPublished in