A Local algorithm of index 1 for constructing the sum of dead-end disjunctive normal forms for functions of k-valued logic

DOI10.1016/0041-5553(77)90185-9zbMATH Open0397.03040OpenAlexW2000101944MaRDI QIDQ4180348FDOQ4180348

Authors: A. N. Nurlybaev 

Publication date: 1978

Published in: USSR Computational Mathematics and Mathematical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0041-5553(77)90185-9

zbMATH Keywords

Propositional LogicFunctions of Many-Valued LogicLocal AlgorithmPrime ImplicantSum of Dead-End Disjunctive Normal Forms

Mathematics Subject Classification ID

Classical propositional logic (03B05) Many-valued logic (03B50) Logical aspects of Boolean algebras (03G05)

This page was built for publication: A Local algorithm of index 1 for constructing the sum of dead-end disjunctive normal forms for functions of k-valued logic

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