Sum of product(SOP)
A canonical sum of products is a boolean expression that entirely consists of minterms. The Boolean function F is defined on two variables X and Y. The X and Y are the inputs of the boolean function F whose output is true when any one of the inputs is set to true. The truth table for Boolean expression F is as follows:
In our previous section, we learned about how we can form the minterm from the variable's value. Now, a column will be added for the minterm in the above table. The complement of the variables is taken whose value is 0, and the variables whose value is 1 will remain the same.
Now, we will add all the minterms for which the output is true to find the desired canonical SOP(Sum of Product) expression.
Converting Sum of Products (SOP) to shorthand notation
The process of converting SOP form to shorthand notation is the same as the process of finding shorthand notation for minterms. There are the following steps to find the shorthand notation of the given SOP expression.
Example: F = X'Y+XY'+XY
1. Firstly, we write the SOP expression:
F = X'Y+XY'+XY
2. Now, we find the shorthand notations of the minterms X'Y, XY', and XY.
X'Y = (01)2 = m1
XY' = (10)2 = m2
XY = (11)2 = m3
3. In the end, we replace all the minterms with their shorthand notations:
Converting shorthand notation to SOP expression
The process of converting shorthand notation to SOP is the reverse process of converting SOP expression to shorthand notation. Let's see an example to understand this conversion.
Let us assume that we have a boolean function F, which defined on two variables X and Y. The minterms for the function F are expressed as shorthand notation is as follows:
Now, from this expression, we will find the SOP expression. The Boolean function F has two input variables X and y and the output of F=1 for m1, m2, and m3, i.e., 1st, 2nd, and 3rd combinations. So,
F= m1 + m2 + m3
F= 01 + 10 + 11
Now, we replace zeros with either X' or Y' and ones with either X or Y. Simply, the complement variable is used when the variable value is 1 otherwise the non-complement variable is used.
F = ∑(1,2,3)
F= A'B + AB' + AB