Post Networks
Use chain-based Post algebra for each node
expression.
Let
m
be the maximum value. A literal
w
w
w
Note that
New factorization algorithm for MIN, MAX
expressions.
Example
: