(algebra) A De Morgan algebra which also satisfies the inequation x∧∼x⩽y,∨∼y for all x and y, where ∼ here denotes the De Morgan involution.
∼
Kleene algebra
すべての x と y に対して x∧∼x ⩽ y∨∼y を満たすド・モルガン代数であり、ここで「∼」はド・モルガンの反転を表す。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
