P∨(Q∧R) と (P∨Q)∧(P∨R) [分配律(DISTRIBUTIVITY)]の真偽表(推論)
P
Q
R
Q∧R
P∨Q
P∨R
P∨(Q∧R)
(P∨Q)∧(P∨R)
○
○
○
○
○
○
○
○
○
○
×
×
○
○
○
○
○
×
○
×
○
○
○
○
○
×
×
×
○
○
○
○
×
○
○
○
○
○
○
○
×
○
×
×
○
×
×
×
×
×
○
×
×
○
×
×
×
×
×
×
×
×
×
×
├
目次に戻る