scientific article; zbMATH DE number 1963548

zbMath1029.03001MaRDI QIDQ4419472

Frank Markham Brown

Publication date: 13 August 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Boolean algebrasBoolean equationsStone representation theoremBoolean reasoningswitching circuitsKarnaugh mapsBoole Schröder algebra of logicsubsumptive solutionssyllogistic formulas

Mathematics Subject Classification ID

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) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Related Items (8)

Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations ⋮ Composition of Post classes and normal forms of Boolean functions ⋮ Semantic forgetting in answer set programming ⋮ On the suppression of variables in Boolean equations ⋮ A new calculation for Boolean derivative using Cheng product ⋮ Prominent classes of the most general subsumptive solutions of Boolean equations ⋮ McColl and Minimization ⋮ A purely map procedure for two-level multiple-output logic minimization

This page was built for publication: