Login / Signup

Enumeration of Function and Bases of Three-Valued Set Logic under compositions with Boolean Functions.

János DemetrovicsCorina ReischerDan A. SimoviciIvan Stojmenovic
Published in: ISMVL (1994)
Keyphrases
  • boolean functions
  • truth table
  • uniform distribution
  • logic programming
  • bi decomposition
  • modal logic
  • membership queries
  • relevant variables
  • prime implicants