On the law \((a \cdot b^\prime)^\prime= b+a^\prime\cdot b^\prime\) in De Morgan algebras and orthomodular lattices

From MaRDI portal
(Redirected from Publication:558210)
On the law \((a \cdot b^\prime)^\prime= b+a^\prime\cdot b^\prime\) in De Morgan algebras and orthomodular lattices