[ 掲示板に戻る ]

記事No.72584に関するスレッドです

(No Subject) / ロッキー
高校2年です
オンライン授業で出たのですが
まったく理解が出来ませんでした。
教えていただけませんか?お願いします。

No.72584 - 2021/02/02(Tue) 14:50:44

Re: / ヨッシー

¬p は p が真のとき偽、偽のとき真 なので、p|p と書けます。
p∧q は、p|q の否定なので (p|q)|(p|q)
p∨q は、偽偽のときのみ偽なので、真真のときのみ偽の p|q の
大元をひっくり返せばいいので、¬p|¬q
p→q は、¬(p∧¬q) と同値なので、{(p|¬q)|(p|¬q)}|{(p|¬q)|(p|¬q)}

もっとシンプルな別の表現があるかもしれません。

No.72585 - 2021/02/02(Tue) 16:06:07

Re: / IT
|だけを使って表現せよということでは?
p→q は(p|q)|p でもp|(q|q)でもp|(p|q)でも良いようです。

|は可換なので (p|q)|p とp|(p|q)は当然同値ですね。

No.72594 - 2021/02/02(Tue) 20:41:54

Re: / IT
p∨q は、偽偽のときのみ偽なので、真真のときのみ偽の p|q の大元をひっくり返せばいいので、¬p|¬q 
 ここまで、ヨッシーさんのとおりで
¬p|¬q⇔(p|p)|(q|q)…(1)

p→q は、¬p∨q と同値なので
(1)より (¬p|¬p)|(q|q)⇔(¬(¬p))|(q|q)⇔p|(q|q)

No.72595 - 2021/02/02(Tue) 21:42:34

Re: / IT
A|B を真にしたいところはA,Bの少なくとも1つが偽、偽にしたいところはA,Bともに真になるようにすればいいので、

ヨッシーさんの書かれた真偽表を見ながらいろいろ組み合わせてみるのも方法の一つです

No.72619 - 2021/02/03(Wed) 22:57:34