(p1-1)∧(p1-1) と p1-1、 (p1-2)∧(p1-2) と p1-2、 (p1-3)∧(p1-3) と p1-3、 (p1-4)∧(p1-4) と p1-4 の真偽表(推論)

 IN  OUT 
 P  p1-1   (p1-1)∧(p1-1)  p1-2   (p1-2)∧(p1-2)  p1-3   (p1-3)∧(p1-3)  p1-4   (p1-4)∧(p1-4) 
 ×  ×   ×  ○   ○  ×   ×  ○   ○ 
 ○  ×   ×  ×   ×  ○   ○  ○   ○ 

├目次に戻る