Kleene algebra
plural of potbelly stove
(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.
∼
simple past tense and past participle of apricate
Resembling chorea.
すべての x と y に対して x∧∼x ⩽ y∨∼y を満たすド・モルガン代数であり、ここで「∼」はド・モルガンの反転を表す。
Don't have an account? Sign up
Do you have an account? Login
DiQt
Free
★★★★★★★★★★
