첫번째 
AND 연산자의 부정, NAND 연산자를 ㅣ 이라고 표현하고 a,b에 대하여 aㅣb는 ￢(a∧b)와 같다고 할때, 
c∧(a→b)를 NAND연산자만 사용하여 나타내어라. 이건 쉬울거 같으면서 ㅣ연산자만 이용해서 하는건 어떻게 해야 할지 모르겠네요.


두번째
ㅣA x Bㅣ = ㅣC x Dㅣ and ㅣCㅣ = ㅣDㅣ. prove or disprove ㅣAㅣ = ㅣBㅣ

증명 어렵네요. 어떤 식으로 증명을 해야 쉽게 해결 될까요?
그리고ㅣㅣ 이 안에 있다는게 무엇을 의미 하는거죠? 

부탁드리겠습니다.