_ ___
NANDをp∧q=p∧qで表しして、Wolframの公理
_ _ _ _ _ _
((p∧q)∧r )∧(p∧((p∧r)∧p)=r
をブール代数の公理から証明してください。