P1, P2,,,Pn の条件の時に、Q1 or Q2 or... or Qm が成立しているかを確認する方法
P1,P2,,,Pn -> Q1 or Q2 or or Qm
<=>
P1&P2& &Pn -> Q1 or Q2 or or Qm
<=>
not(P1&P2& &Pn ) or ( Q1 or Q2 or or Qm) = true
<=>
(P1&P2& &Pn ) & not (Q1 or Q2 or or Qm) = false
<=>
P1&P2& &Pn & not(Q1) & not (Q2) & & not(Qm) = false
従て、P1,P2,,,Pn -> Q1 or Q2 or or Qm が正しいかどうかは
P1&P2& &Pn & not(Q1) & not (Q2) & & not(Qm) = falseかどうかをチェック
すればよい
Leave a Comment