2入力
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/03/30 22:21 UTC 版)
2つの入力 P、Q に対し、以下の16通りが全てである。 この節、および以降に続く節では、和に ∨、積に ∧ の記号を使う。 矛盾 記法 等価式 真理値表 ベン図 ⊥ {\displaystyle \bot } P ∧ {\displaystyle \wedge } ¬P Q 0 1 P 0 0 0 1 0 0 恒真 記法 等価式 真理値表 ベン図 ⊤ {\displaystyle \top } P ∨ {\displaystyle \vee } ¬P Q 0 1 P 0 1 1 1 1 1 論理積 記法 等価式 真理値表 ベン図 P ∧ {\displaystyle \wedge } QP & QP AND Q P ↛ {\displaystyle \not \rightarrow } ¬Q ¬P ↚ {\displaystyle \not \leftarrow } Q ¬P ↓ {\displaystyle \downarrow } ¬Q Q 0 1 P 0 0 0 1 0 1 否定論理積 記法 等価式 真理値表 ベン図 P ↑ QP | Q P NAND Q P → ¬Q ¬P ← Q¬P ∨ {\displaystyle \lor } ¬Q Q 0 1 P 0 1 1 1 1 0 非含意 記法 等価式 真理値表 ベン図 P ↛ {\displaystyle \not \rightarrow } Q P ⊅ {\displaystyle \not \supset } Q P & ¬Q ¬P ↓ Q ¬P ↚ {\displaystyle \not \leftarrow } ¬Q Q 0 1 P 0 0 0 1 1 0 含意 (条件式) 記法 等価式 真理値表 ベン図 P → Q P ⊃ {\displaystyle \supset } Q P ↑ ¬Q ¬P ∨ {\displaystyle \lor } Q ¬P ← ¬Q Q 0 1 P 0 1 1 1 0 1 命題 P 記法 等価式 真理値表 ベン図 P Q 0 1 P 0 0 0 1 1 1 否定 P 記法 等価式 真理値表 ベン図 ¬P Q 0 1 P 0 1 1 1 0 0 逆非含意 記法 等価式 真理値表 ベン図 P ↚ {\displaystyle \not \leftarrow } Q P ⊄ {\displaystyle \not \subset } Q P ↓ ¬Q ¬P & Q ¬P ↛ {\displaystyle \not \rightarrow } ¬Q Q 0 1 P 0 0 1 1 0 0 逆含意 記法 等価式 真理値表 ベン図 P ← {\displaystyle \leftarrow } Q P ⊂ {\displaystyle \subset } Q P ∨ {\displaystyle \lor } ¬Q ¬P ↑ Q ¬P → ¬Q Q 0 1 P 0 1 0 1 1 1 命題 Q 記法 等価式 真理値表 ベン図 Q Q 0 1 P 0 0 1 1 0 1 否定 Q 記法 等価式 真理値表 ベン図 ¬Q Q 0 1 P 0 1 0 1 1 0 排他的論理和 記法 等価式 真理値表 ベン図 P ↮ {\displaystyle \not \leftrightarrow } Q P ≢ {\displaystyle \not \equiv } Q P ⊕ {\displaystyle \oplus } QP XOR Q P ↔ {\displaystyle \leftrightarrow } ¬Q ¬P ↔ {\displaystyle \leftrightarrow } Q ¬P ↮ {\displaystyle \not \leftrightarrow } ¬Q Q 0 1 P 0 0 1 1 1 0 同値 (必要十分条件) 記法 等価式 真理値表 ベン図 P ↔ {\displaystyle \leftrightarrow } Q P ≡ QP XNOR Q P IFF Q P ↮ {\displaystyle \not \leftrightarrow } ¬Q ¬P ↮ {\displaystyle \not \leftrightarrow } Q ¬P ↔ {\displaystyle \leftrightarrow } ¬Q Q 0 1 P 0 1 0 1 0 1 論理和 記法 等価式 真理値表 ベン図 P ∨ {\displaystyle \lor } QP OR Q P ← {\displaystyle \leftarrow } ¬Q ¬P → Q ¬P ↑ ¬Q Q 0 1 P 0 0 1 1 1 1 否定論理和 記法 等価式 真理値表 ベン図 P ↓ QP NOR Q P ↚ {\displaystyle \not \leftarrow } ¬Q ¬P ↛ {\displaystyle \not \rightarrow } Q ¬P & ¬Q Q 0 1 P 0 1 0 1 0 0
※この「2入力」の解説は、「論理演算」の解説の一部です。
「2入力」を含む「論理演算」の記事については、「論理演算」の概要を参照ください。
- 2入力のページへのリンク