Disjunctive and conjunctive representations in finite lattices and convexity spaces

DOI10.1016/S0012-365X(02)00259-5zbMath1008.06005MaRDI QIDQ1850038

Peter L. Hammer, Stephan Foldes

Publication date: 2 December 2002

Published in: Discrete Mathematics (Search for Journal in Brave)

zbMATH Keywords

convex setsBoolean functionsHelly propertydisjunctive normal formfinite latticesconjunctive normal formprime implicantsBlake-Quine consensus procedurefinite convexity spaces

Mathematics Subject Classification ID

Structure theory of lattices (06B05) Other problems of combinatorial convexity (52A37) Boolean functions (06E30) Helly-type theorems and geometric transversal theory (52A35)

Related Items

Disjunctive analogues of submodular and supermodular pseudo-Boolean functions, Properties of quasi-Boolean function on quasi-Boolean algebra, Special issue: Boolean functions and related problems, Disjunctive and conjunctive normal forms of pseudo-Boolean functions