scientific article; zbMATH DE number 1076965

MaRDI QIDQ4360109zbMATH OpenFDO

Authors Anavai Ramesh, Neil V. Murray

Publication date 21 January 1998

Full work available at URL https://eudml.org/doc/39102

zbMATH Keywords

algorithmsmany-valued logicprime implicatesnegation normal formprime implicantsPost logicpath dissolutionlogic of signed formulas

Mathematics Subject Classification ID

Many-valued logic (03B50)

Recommendations

• scientific article; zbMATH DE number 517005
• An efficient algorithm to generate prime implicants
• Multiple-Valued Logic Trees: Meaning and Prime Implicants
• scientific article; zbMATH DE number 856969

Cited in

(3)

• Primal Infon Logic: Derivability in Polynomial Time
• Computing prime implicants via transversal clauses
• Multiple-Valued Logic Trees: Meaning and Prime Implicants

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4360109)