論理式について確認させてください

初歩的な事で済みません
(NOT(AandB))=(NOT(A)orNOT(B))
で、合ってますか？

宜しくお願いします。

No.1 回答者： kmee 回答日時： 2014/07/15 20:31

検算方法です。

2変数くらいなら、真理値表を書いてみるとよいでしょう。
左辺は
A, B, (AandB), NOT(AandB)
F, F, F, T
F, T, F, T
T, F, F, T
T, T, T, F
です。
では、右辺はどうなるでしょう
A, B, (not(A)),(NOT(B), (NOT(A)orNOT(B))
F, F, T, T,T
F, T, T, F,T
以下、完成させてみましょう。
比較したらどうなるでしょう?

この回答へのお礼

有り難うございます。

お礼日時：2014/07/15 22:13

No.2 ベストアンサー 回答者： info222_ 回答日時： 2014/07/15 21:31

合ってます。

ブール代数の中の色々な公式の中で特に重要な公式で
ド・モルガンの法則の２つの対の式の１つです。
　￢(A・B)=(￢A)+(￢B)
　￢(A+B)=(￢A)・(￢B)
ここで「￢」は「not」、「・」は「and」、「+」は「or」をあらわします。

詳細は参考URLをごらんください。

参考URL：http://www.asp.sie.dendai.ac.jp/ed/ea2003/ea-k00 …

この回答へのお礼

有り難うございます

お礼日時：2014/07/15 22:14