scientific article
zbMath0719.03002MaRDI QIDQ3997889
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Boolean algebrasBoolean functionsspecificationBoolean equationsBoolean formulasStone representation theoremBoolean reasoningcombinational switching circuitssoftware-toolsBlake canonical formBoole-Schröder algebra of logicBoole's expansion theoremFunctional reasoningloop-free circuitsLöwenheim- Müller verification theoremSyllogistic reasoning
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Boolean functions (06E30) Structure theory of Boolean algebras (06E05) Logical aspects of Boolean algebras (03G05) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)
Related Items