Def. Boolean algebra とは, poset と, その二つの要素 の組である. また, 上の二項演算 join: , meet: , および単項演算 complementation: が定義されており, これらは以下の要請を満たす: とするとき, ① ② ③ and ④ and ⑤ ⑥ . Remark. poset とは, 集合 と…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。