Last Updated：2025/11/28
A Kleene algebra is a De Morgan algebra that also satisfies the inequation x∧∼x⩽y∨∼y for all x and y, where ∼
denotes the De Morgan involution.
See correct answer
A Kleene algebra is a De Morgan algebra that also satisfies the inequation x∧∼x⩽y∨∼y for all x and y, where ∼
denotes the De Morgan involution.
音声機能が動作しない場合はこちらをご確認ください
Edit Histories（0）
