"switching algebra"@en . "Schaltalgebra"@de . "digital logic"@en . "Digitale Logik"@de . "algebra"@en . "Algebra"@de . "propositional logic"@en . "Aussagenlogik"@de . . . "Boolean algebra"@en . "Boolesche Algebra"@de . "Boolean lattice"@en . "Boolean Logic"@en . "Boolesche Logik"@de . . . . .