論理式の完全系

質問

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

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

回答No.1

info22

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

ヒント）
ド・モルガンの定理で式を変形して下さい。
(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)の式そのものを適用