¬(p1-1) と p1-4 の真偽表(推論)

 IN  OUT 
 P  p1-1   ¬(p1-1)  p1-4 
 ×  ×   ○  ○ 
 ○  ×   ○  ○ 

目次に戻る