On the law \((a \cdot b^\prime)^\prime= b+a^\prime\cdot b^\prime\) in De Morgan algebras and orthomodular lattices (Q558210)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the law \((a \cdot b^\prime)^\prime= b+a^\prime\cdot b^\prime\) in De Morgan algebras and orthomodular lattices |
scientific article |
Statements
On the law \((a \cdot b^\prime)^\prime= b+a^\prime\cdot b^\prime\) in De Morgan algebras and orthomodular lattices (English)
0 references
30 June 2005
0 references
Elkan's law
0 references
De Morgan algebras
0 references
orthomodular lattices
0 references
Boolean algebras
0 references
