質問: 2変数のド・モルガンの定理を真理値表を用いて、証明しろと言う問題で、成り立つのは分かるんですけど、どういった式などを立てれば良いのか教えてください!
回答: 真理値表の意味はわかっていますか? つまりですね、力技で全パターン調べるわけです。 A=B=0の時代入したら成り立つ。 A=B=1の時代入したら成り立つ。 A=1,B=0の時代入したら成り立つ。 A=0,B=1の時代入したら成り立つ。 これ以外にパターンはなく、全てに置いて成り立つため=で結ばれる。 って感じです。 それを表にすればいいかな、と。