7ced8076b5836af73cec98bf06d60403b04a718aa420da83e915


위에 보면 not 기호랑 -> 기호 두개로만 만들수 있다면서 왜 뜬금없이 p1 ^ p0 이 나와요?


p1^p0 = ~(p1 -> ~p0) 인걸 알고있긴한데



이 텍스트는 엄밀하게 논리를 구성하는게 목적인데 이래도 되나 싶어서요