真理値表に対応する論理演算はどれか。
| 入力A | 入力B | 出力 |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
This question's explanation and your answers so far.
真理値表に対応する論理演算はどれか。
| 入力A | 入力B | 出力 |
|---|---|---|
| 0 | 0 | 0 |
| 0 | 1 | 0 |
| 1 | 0 | 0 |
| 1 | 1 | 1 |
正解 The correct answer is “ア AND”. Reading the truth table from top to bottom, the only row whose output is 1 is (Input A, Input B) = (1, 1); the other three rows (0,0) / (0,1) / (1,0) all output 0. This behavior — “output 1 only when both inputs are 1, and 0 in every other case” — matches exactly the definition of the logical product (the AND operation). In everyday language AND corresponds to “A and also B”, an operation that holds only when both conditions are satisfied. Remember it that way and the shape of this table (three rows of 0, just one row of 1, and that row at the very bottom) becomes the fingerprint of AND itself.
NOT (logical negation) is a unary operation that takes only one input, flipping 0 to 1 and 1 to 0. The truth table in this question takes two inputs, Input A and Input B, so it cannot be expressed by NOT in the first place. Even if you looked at only one of the inputs and negated it, the (0,0) row would come out as 1, contradicting the output of 0 shown in the table.
OR (logical sum) is the operation that outputs 1 “if at least one input is 1”. The (0,1) row and the (1,0) row should therefore both output 1, yet in this question's table both of those rows output 0. In the truth table for OR, three rows output 1 and only one row outputs 0 (it is 0 only for (0,0)), so the counts of 1s and 0s are the reverse of the table in this question.
XOR (exclusive OR) is the operation that outputs 1 “only when the two inputs differ” and 0 when they are the same. Hence (0,1) and (1,0) would be 1 and (1,1) would be 0, the exact opposite of this question's table, where those three rows are 0, 0, and 1 respectively. In particular, giving 0 when both inputs are 1 is the decisive difference from AND; since the bottom row of the table is 1, it cannot be XOR.