All Boolean expressions, regardless of their form, can be converted into either of two standard forms:

Sum of the Products (SOP)

Product of the Sums (POS)

Standardization makes the evaluation, simplification, and implementation of Boolean expressions more systematic and easier.

A Boolean function can be uniquely described by its truth table, or in one of the canonical forms. A canonical form specifies a unique representation of the Boolean function, while a normal form simply specifies its form, without the requirement of uniqueness.

Canonical Sum of Products Form

There are 2 steps to derive the Canonical Sum of Products Form from its truth table.

A Minterm is a product (AND) term containing all input variables of the function in either true or complemented form. A variable appears in complemented form ~X if it is a 0 in the row of the truth-table, and as a true form X if it appears as a 1 in the row.

Examples

A=0, B=1, C=0 -> ~A*B*~C

A=1. B=0, C=0 -> A*~B*~C

The canonical form is obtained by taking the sum (OR) of the minterm of the rows where a 1 appears in the output.

This truth table is interactive.

Click on the row output to change its value and observe the change in the Boolean Expression.

The minterm is included in the Boolean Expression only if the output of that row is 1

The Boolean expression of any combinational logic circuit described by a truth-table can be obtained by writing its canonical form. Use Boolean Algebra or Karnaugh Map to simplify the expression which can then be translated to a circuit of logic gates.

With advertising revenues falling despite increasing numbers of visitors, we need your help to maintain and improve this site, which takes time, money and hard work. Thanks to the generosity of our visitors who gave earlier, you are able to use this site at no charge.

If you have benefited from this site and are able, please
give $10 via Paypal. It will allow us
continue into the future. It only takes a minute. Thanks!