boolean-logic - (A OR B) が NOT(NOT A AND NOT B) であることを示す公理の名前

Question

私はここでメンタルブロックを抱えています。

それを教えてくれる公理/定理の名前は?

(A OR B) == NOT(NOT A AND NOT B)

いくつかの C コードを確認しようとしていますが、これが呼び出されたことを思い出せません。

Answer 1

ド・モルガンの法則です。通常は次のように表されます。

"not (A and B)" は "(not A) or (not B)" と同じです。

また

"not (A or B)" は "(not A) and (not B)" と同じです。