二値論理ではTrue/ Falseであり、¬True=False , vice versa となる

つまり、そこに格段の問題はない