(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 
 ×  ×   ○  ○   ×  ○   ○  ○ 
 ×  ○   ○  ×   ○  ×   ×  ○ 
 ○  ×   ×  ○   ○  ×   ×  ○ 
 ○  ○   ×  ×   ○  ×   ×  ○ 

目次に戻る