Minimizing AND-EXOR Expressions for Multiple-Valued Two-Input Logic Functions.

Takaaki Mizuki Hitoshi Tsubata Takao Nishizeki

Published in: TAMC (2009)

Keyphrases

multiple valued
multi valued
multiple valued logic
boolean functions
complex valued
decision diagrams
file organization
logic programming
continuous attributes
truth values
index structure
normal form
modal logic
valued logic