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-9MaRDI QIDQ4180348zbMATH OpenOpenAlexFDO

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)