Sept. 19, 2002
Workshop on Boolean Problems
MV
ND
F
PI
PO
yn
Definition: ND Multi-Valued Network
•Network of MV-nodes (PI, PO, internal)
•Each node is represented by an MV variable yn with its own range
{0, 1,…, |pn|-1}
•Internal node is represented by an MV non-deterministic relation
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