A product of sums is an AND ("product") of sum terms, where each sum is an OR of literals. Example: . A single sum term, or a single literal, also counts.
It is the dual shape of a sum of products:
- SOP: each term picks out where the output is 1; the OR collects them.
- POS: each bracket rules out where the output is 0; the AND requires all of them.
Any function can be written as a POS: take one maxterm for each row where the output is 0 and AND them together. That is the canonical form, the product of maxterms.
To convert:
- POS to SOP: multiply the brackets out (distributive law).
- SOP to POS: use the OR-over-AND form of the distributive law, or find the SOP of the complement F′ and apply de morgans laws.
In hardware a POS is an OR-AND two-level circuit, which converts directly to NOR-NOR. Sometimes the minimal pos is cheaper than the minimal SOP, so it is worth finding both.
| 0 | 0 | 0 | 1 |
| 0 | 0 | 1 | 1 |
| 0 | 1 | 0 | 0 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 |
| 1 | 1 | 0 | 0 |
| 1 | 1 | 1 | 1 |