この問題が分からないです 命題 p, q に対して，p | q の真偽表を p q p | q 真

この問題が分からないです
命題 p, q に対して，p | q の真偽表を
p q p | q
真 真 偽
真 偽 真
偽 真 真
偽 偽 真
とする．p の否定 ¬p、連言 p ∧ q、選言 p ∨ q、含意 p → q を | によって表現せよ．

No.6 回答者： tknakamuri 回答日時： 2023/02/04 10:42

>¬(p∧ q) ∨ (p∧ ¬q) ∨ (¬p∧ q) ∨ (¬p∧ ¬q)

NANDで他の論理作れって話か、失礼しました。
¬p=p|p
p∧q=(p|q)|(p|q)
p∨q=(p|p)|(q|q)
p→q=p∨¬q=(p|p)|q

No.5 回答者： stomachman 回答日時： 2023/02/03 23:05

さておき、このp | qはNANDと呼ばれる演算で、これだけで他のすべての2項演算および単項演算ができるということが知られており、ですから論理回路を作るときに最も重宝な要素なんどす。

というわけで、No.2はオヤジギャグなんどすよ。

No.4 回答者： mtrajcp 回答日時： 2023/02/03 21:39

(¬p)=p|p

(p∧q)=(p|q)|(p|q)
(p∨q)=(p|p)|(q|q)
(p→q)=p|(q|q)

No.3 回答者： tknakamuri 回答日時： 2023/02/03 16:55

例えば単純に

¬(p∧ q) ∨ (p∧ ¬q) ∨ (¬p∧ q) ∨ (¬p∧ ¬q)
では不足？

No.2 回答者： ありものがたり 回答日時： 2023/02/03 13:49

その答えは、納戸の中を探してごらん。

見つかるまで何度でも。

No.1 回答者： Tacosan 回答日時： 2023/02/02 22:54

具体的に, その問題で

・どこまで理解できているのか
・どこで何にどう困っているのか
を書いてくださいな.

あるいは「何をどう考えてどこで何にどう困っているのか」でもいいよ.