(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)
×
×
○
○
○
○
×
×
×
×
├
目次に戻る