A reduction of propositional tautologihood to the coloring of graphs in three colors

DOI10.1007/BF01091542MaRDI QIDQ1256441zbMATH OpenFDO

Authors G. V. Davydov, P. Yu. Suvorov

Publication date 1977

Published in Journal of Soviet Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01091542

zbMATH Keywords

Algebraic LogicDisjunctive Normal FormGraph ColoringPropositional CalculusTautology

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logical aspects of Boolean algebras (03G05) Coloring of graphs and hypergraphs (05C15)

This page was built for publication: A reduction of propositional tautologihood to the coloring of graphs in three colors

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