1.Synchronous
hardware computation model;
2.Boolean
algebra; however, it can be easily converted into a multi-valued algebra
by imposing a priority ordering among the different values.
1.Literal:
Boolean function and evaluates to 1 if the variable takes on value
0, or 2;
2.Cube:
Boolean product of a set of literals and evaluates to 1 if all literals
evaluate to 1.
3.SOP and MDD