(p1-1)∨(p1-2) と (p1-2)∨(p1-1) と p1-2 の真偽表(推論)

 IN  OUT 
 p  p1-1   p1-2  (p1-1)∨(p1-2)   (p1-2)∨(p1-1) 
 ×  ×   ○  ○   ○ 
 ○  ×   ×  ×   × 

目次に戻る