Synthesis of Multi-valued Literal Using Lukasiewicz Logic.

Anmol Prakash Surhonne Debjyoti Bhattacharjee Anupam Chattopadhyay

Published in: ISMVL (2018)

Keyphrases

multi valued
truth values
logic synthesis
single valued
multiple valued
boolean functions
normal form
modal logic
bayesian networks
special case