論理へのアプローチ_二元論理代数方程式