V-antena and Tanimoto's page

谷本の備忘録・雑記帳・work

>

PならばQの確認方法

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

入力エリアすべてが必須項目です。メールアドレスが公開されることはありません。

内容をご確認の上、送信してください。