最終更新日：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.
正解を見る
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.
音声機能が動作しない場合はこちらをご確認ください
編集履歴（0）
