論理式の完全系

以下の論理式をNandのみの形に変形したいのですが、やりかたがわかりませんん＞＜
どなたか解法付でおしえてください。

（１）x∧y
（２）￢x∨y
（３）￢x∧y∨x∧￢y
（４)ｘ∨ｙ

No.1 回答者： info22 回答日時： 2007/07/11 12:21

問題の丸投げは削除対象になりますのでそうならないように間違っていてもあなたの分かる範囲での回答を書いて質問するようにしてください。

ヒント）
ド・モルガンの定理で式を変形して下さい。
(I)￢A∨￢B=￢(A∧B)
(II)A∨B=￢(￢A∧￢B)
またNOTはNANDでは次式で表せます。
（III)￢A＝￢(A∧1)

(1)x∧y=￢(￢(x∧y)∧1)
(2)￢x∨y=￢(x∧￢y)=￢(x∧￢(y∧1))
(3)(2)の結果を使用後(II)を適用
￢x∧y∨x∧￢y=(￢(x∧￢(y∧1)))∨(￢(y∧￢(x∧1)))
=…　←(II)を適用、これ位やってみて下さい。
分からなければ補足に解を書いて質問のこと。
(4)(II)の式そのものを適用