No label defined (Q3997889)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
17 September 1992
0 references
Boolean reasoning
0 references
Boole-Schröder algebra of logic
0 references
Boolean algebras
0 references
Stone representation theorem
0 references
Boole's expansion theorem
0 references
Löwenheim- Müller verification theorem
0 references
Boolean formulas
0 references
Boolean functions
0 references
Boolean equations
0 references
Blake canonical form
0 references
Syllogistic reasoning
0 references
Functional reasoning
0 references
combinational switching circuits
0 references
specification
0 references
loop-free circuits
0 references
software-tools
0 references
