論理包含→という論理演算子があります。A → B は「AならばB」と読み、ブール代数的には !(A && !B)（または !A || B）と定義されます。（Trueは真、Falseは偽） A B A → B !(A && !B) T T T → T = T !(T && !T) = !(T && F) = !F = T T F T → F = F !(T && !…