(P2-2) ¬(P∨Q) および ¬P∧¬Q と (P2-16) ¬(P∨Q)⇔¬P∧¬Q [ド・モルガンの法則(De Morgan's laws)] の真偽表(推論)
P
Q
¬P
¬Q
P∨Q
¬(P∨Q)
¬P∧¬Q
¬(P∨Q)⇔¬P∧¬Q
×
×
○
○
×
○
○
○
×
○
○
×
○
×
×
○
○
×
×
○
○
×
×
○
○
○
×
×
○
×
×
○
├
目次に戻る