(p1-4)⇒(p1-2) と p1-2 の真偽表(推論)

 IN  OUT 
 p  p1-2   p1-4  (p1-4)⇒(p1-2) 
 ×  ○   ○  ○ 
 ○  ×   ○  × 

├目次に戻る