bn:03731564n
Noun Concept
SYL
No term available
EN
In mathematics, a De Morgan algebra is a structure A = such that: is a bounded distributive lattice, and ¬ is a De Morgan involution: ¬ = ¬x ∨ ¬y and ¬¬x = x. Wikipedia
Relations
Sources