Да, X NAND 1
похоже на X NAND Y
с Y
, установленным как 1. То, с чем вы сравниваете X, не обязательно должно называться Y; это может быть любая переменная, любая константа или результат другого сравнения. Все, что имеет значение, это то, является ли значение 0 или 1, в конце концов.
Пример:
X | Y | 1 | X OR Y
---+---+---+--------
0 | 0 | 1 | 0
0 | 1 | 1 | 1
1 | 0 | 1 | 1
1 | 1 | 1 | 1
Теперь вы можете сделать X AND Y
, X AND 1
или X AND (X OR Y)
, просто сравнив числа в первом столбце с числами во втором, третьем или четвертом столбцах соответственно.
Что касается NAND
, помните, что это означает противоположность AND
. Это на самом деле означает «не и». Так что, если вы AND
скомбинируете две вещи вместе и получите 0, тогда NAND
объединение этих же двух вещей даст вам 1.
Тем не менее, ваш последний вопрос не имеет особого смысла. Нет такой вещи как X+Y = NAND
. X
, Y
и X+Y
являются значениями; NAND
- это ворота. Вы не можете сравнить числа с воротами. Ваш вопрос просит вас использовать ворота NAND
, чтобы сравнивать вещи снова и снова, пока вы не получите столбец нулей и столбцов, который выглядит так же, как X+Y
.
EDIT:
Хорошо, давайте посмотрим на ваш вопрос «используя таблицу истинности как X '= X NAND 1?»
X | X' | 1 | X AND 1 | X NAND 1 is the same as the opposite of X AND 1
---+----+---+-------------+-------------------------------------------------
0 | 1 | 1 | 0 AND 1 = 0 | 1 (opposite of 0)
0 | 1 | 1 | 0 AND 1 = 0 | 1 (opposite of 0)
1 | 0 | 1 | 1 AND 1 = 1 | 0 (opposite of 1)
1 | 0 | 1 | 1 AND 1 = 1 | 0 (opposite of 1)
И, глядя на каждый столбец, мы видим, что X'
имеет те же значения, что и X NAND 1