PLC Boolean Alegbra
PLC Boolean Alegbra
Although Boolean algebra has its own set of laws and theorems, it is also governed by the laws
of arithmetic algebra.
Using algebra
Before you evaluate an algebraic equation, you need to simplify it. Here are the basic steps to
follow when simplifying an algebraic expression:
5(2 + x) + 3(5x + 4)
When simplifying an expression, the first thing to look for is whether you can clear any
parentheses. Often, you can use the distributive property to clear parentheses, by multiplying the
factors with the terms inside the parentheses. In this expression, we can use the distributive
property to get rid of the first two sets of parentheses.
= 10 + 5x + 15x + 12
The next step in simplifying is to look for like terms and combine them. The terms 5x and 15x are
like terms, because they have the same variable. We can combine these two terms to get 20x.
= 10 + 20x + 12
Finally, we look for any constants that we can combine. Here, we have the constants 10 and 12.
We can combine them to get 22.
= 22 + 20x
Involution (A')' = A
Commutative A+B=B+A
A.B = B.A
Associative (A + B) + C = A + (B + C)
A.(B.C) = (A.B).C
A + B.C = (A + B).( A + C)
Absorption A + A.B = A
3.2.3.1 AND
AND LAWS
x.0 = 0
x.1 = x
x.x = x
x.x’ = 0
xy = yx
(xy)z = x(yz)
x + yz = (x + y)(x + z)
x(x + y) = x
(xy)’ = x’ + y’
OR LAWS
x+0=x
x+1=1
x+x=x
x + x’ = 1
x+y=y+x
(x + y) + z = x + (y + z)
x (y + z) = xy + xz
x + xy = x
(x + y)’ = x’.y’
3.2.3.3 NOT
In some instances, a condition may be negated more than once. It may have a double negation,
a triple negation, or more. If there is an even number of vincula over the variable, it can be reduced
to equal the variable itself. (No vincula). If there is an odd number of vincula over the variable the
value is equal to the inverse of the variable (1 vinculum)
De Morgan's theorem may be thought of as breaking 'the bar'. When the bar is broken, the
operation directly underneath changes from addition (OR) to multiplication (AND), or multiplication
(AND) to addition (OR), and the remaining bar piece stays over the individual variables.
F = A'B'(A' + B)(1)
A'A'B' + A'BB'
A'B' + A'(0)
A'B' + 0
A'B'
A + B + CD + (AB)'
= A + B + CD + A' + B' De Morgan’s
= A + A' + B + B' + CD Commutative
= 1 + 1 + CD Uniqueness
=1