How to use a dual to find the complement of a boolean expression
Duality refers to the relationship between two mathematical objects that are, in some sense, opposite to each other. A dual mathematical expression is obtained by reversing certain operations and properties.
For example, the dual of the following mathematical expression can be found by changing the multiplication operator with the addition operator and vice versa.
Original expression:
Dual of the expression:
Truth table for f and f̅
A | B | B̅ | f | f̅ |
0 | 0 | 1 | 0 | 1 |
0 | 1 | 0 | 0 | 1 |
1 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 1 |
Duality principles
We can use the following principles to find the dual of a boolean expression which will eventually give us its complement.
Change all the
operations to and vice versa. Convert all the true (
) values to false ( ) and vice versa. Apply the
operation on every .literal Each term used in a boolean expression is called a literal.
By applying all the above duality principles on
Changing the
Applying the
We can examine the outputs of the resultant expression using the following truth table:
Truth table comparing the results
A | B | Ā | B̅ | A.B̅ | Ā+B |
0 | 0 | 1 | 1 | 0 | 1 |
0 | 1 | 1 | 0 | 0 | 1 |
1 | 0 | 0 | 1 | 1 | 0 |
1 | 1 | 0 | 0 | 0 | 1 |
From the last two columns, we can verify that the expression we got by taking the dual of the boolean expression
Advantage
Finding the complement of a small Boolean expression may be relatively easier. But as the expression becomes longer and more complex, determining the complement using the truth tables or Boolean theorems becomes tedious.
In such cases, the principles of duality provide a more convenient approach to finding the complement of an expression. Duality provides a shortcut to the complement without going through extensive mathematical calculations.
Let's take the dual of the following expression to find its complement:
Changing the
Applying the
Converting the rightmost true (1) value to false (0):
The above expression is the complement of
Test yourself
Find the dual of the following boolean expression:
¬(X + Y).Z + ¬X.Y + ¬Z + ¬(Y.Z)
¬(¬X.¬Y)+Z.(X+¬Y).Z.(¬Y+¬Z)
¬(¬X.¬Y)+¬Z.(X+¬Y).Z.¬(¬Y+¬Z)
(¬X.¬Y)+¬Z.(X+¬Y).Z.(¬Y+¬Z)
¬(¬X.¬Y).¬Z.(X+¬Y).Z.¬(¬Y+¬Z)
Free Resources