Two-Level Logic Minimization

Multivalue circuit terminology:
- literal (variable)
- part
- term
- function

Splitting L, R partitions for MV functions

Identify variable as unate
- if all parts are either monotone increasing or decreasing.
- columns w/ all 1's = monotone increasing
- all columns not all 1's are identical = monotone decreasing
- in the boolean case, if there's no 0's is positive unate, no 1's is negative unate.


prime = cube that cannot be expanded (or reduced).

essential prime = contains a minterm not found in other prime cubes.

irredundant = cover that contains all prime cubes.

orthogonal = two cubes that do not share any common minterms.



PLA

Quine-McCluskey:

• - implicant table
• - cover table
  - solving for cyclic core

- Find the complement of a unate cover (NP-complete)

- check if a cover is unate

- check if a function is unate, (is it easy? why or why not?)

-