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

質問

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

宜しくお願いします。

回答No.2

info222_ · ベストアンサー

合ってます。

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

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

参考URL：

http://www.asp.sie.dendai.ac.jp/ed/ea2003/ea-k007.html

お礼

有り難うございます

回答No.1

kmee

検算方法です。
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
以下、完成させてみましょう。
比較したらどうなるでしょう?

お礼

有り難うございます。