(p2-2) ￢P∧￢Q と (p2-15) ￢(￢P∧￢Q) つまり P∨Q [または (OR)] もしくは ￢P⇒Q と (p2-2) ￢￢(￢P∧￢Q) つまり ￢(P∨Q) もしくは ￢(￢P⇒Q) の真偽表(推論)

 IN  OUT 
 P  Q   ￢P  ￢Q   ￢P∧￢Q  ￢(￢P∧￢Q) 
 P∨Q 
 ￢P⇒Q 		  ￢￢(￢P∧￢Q) 
 ￢(P∨Q) 
 ￢(￢P⇒Q) 
 ×  ×   ○  ○   ○  ×   ○ 
 ×  ○   ○  ×   ×  ○   × 
 ○  ×   ×  ○   ×  ○   × 
 ○  ○   ×  ×   ×  ○   × 

・￢(￢P∧￢Q)をP∨Qと表す。
・￢(￢P∧￢Q)は￢P⇒Qとも表せる。


├目次に戻る