¬(P∧Q) と ¬P∨¬Q [ド・モルガンの法則(De Morgan's laws)]の真偽表(推論)

 P  Q   ¬P  ¬Q   P∧Q  ¬(P∧Q)   ¬P∨¬Q 
 ○  ○   ×  ×   ○  ×   × 
 ○  ×   ×  ○   ×  ○   ○ 
 ×  ○   ○  ×   ×  ○   ○ 
 ×  ×   ○  ○   ×  ○   ○ 

目次に戻る