scientific article; zbMATH DE number 1963548
Boole Schröder algebra of logicBoolean algebrasBoolean equationsBoolean reasoningKarnaugh mapsStone representation theoremsubsumptive solutionsswitching circuitssyllogistic formulas
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Logical aspects of Boolean algebras (03G05) Structure theory of Boolean algebras (06E05) Boolean functions (06E30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to information and communication theory (94-01)
- scientific article; zbMATH DE number 49082
- Solution of Boolean equations
- scientific article; zbMATH DE number 3863101
- From Boolean logic to switching circuits and automata. Towards modern information technology
- scientific article; zbMATH DE number 1634465
- Logic Functions and Equations
- Advanced Boolean Techniques
- scientific article; zbMATH DE number 5852793
- Advanced Boolean techniques. Selected papers from the 13th international workshop on Boolean problems, Bremen, Germany, September 19--21, 2018
- Recent Findings in Boolean Techniques
- A new calculation for Boolean derivative using Cheng product
- From Boolean logic to switching circuits and automata. Towards modern information technology
- Semantic forgetting in answer set programming
- Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations
- McColl and minimization
- A purely map procedure for two-level multiple-output logic minimization
- scientific article; zbMATH DE number 49082 (Why is no real title available?)
- Prominent classes of the most general subsumptive solutions of Boolean equations
- On the suppression of variables in Boolean equations
- Direct and inverse mean value properties for polylinear functions and their applications
- Composition of Post classes and normal forms of Boolean functions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4419472)
