|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