b
A XOR B = (A NAND (A NAND B)) NAND (B NAND (A NAND B))
а это можно упростить до
A XOR B = (NOT(A AND B)) AND (NOT(NOT A AND NOT B))
Size: a a a
2020 July 08
b
a xor b :=
a, b := boolean.
-> not (a and b) and not (not a and not b).
b
вот так можно сказать в логосе
b
просто потом становится ясно что это тоже самое что
b
a xor b :=
a, b := boolean.
-> not (a and b) and (p or q).
b
ну или если разернуть для красоты то мы получаем форму из спецификации логоса
НТ
ты говорил про NOR/NAND
b
p xor q :=
p, q := boolean.
-> (p or q) and not (p and q).
b
ты говорил про NOR/NAND
ну через nor/nand намного геморройнее выражать
b
(p or q) and not (p and q) это самая лаконичная закрытая формаb
понятно что можно “показать” открыто как табличку истинности
БС
Блядь, пиздец, я ушел, код написал, пришел, а вы все еще с этим дауном беседуете.
БС
Скажите мне вот что.
БС
Тут же школота вчерашняя.
НТ
Блядь, пиздец, я ушел, код написал, пришел, а вы все еще с этим дауном беседуете.
кто даун
БС
Может кто-то в олимпиадах участвовал по кодингу.
b
Тут же школота вчерашняя.
ахахахах ты такой взрослый))
БС
Вот допустим я захотел на олимпиаде юзать джаву.
БС
Какие библиотеки мне разрешат взять?