Штрих Шеффера

Это абсолютно необъяснимо, но штрих (!) Шеффера — это отрицание конъюнкции, а вовсе не дезъюнкции, в то время как любой первоклассник вам скажет, что штрихом в языках программирования обычно обозначается именно дезъюнкция. Раз такое дело, то:

!A = A|A (впрочем, независимо от)
AB = ! !(AB) = !(A|B) = (A|B)|(A|B)
A+B = ! !(A+B) = !(!A!B) = (A|A)|(B|B)

Простите за знак восклицательный, но так проще, чем палку над буквой рисовать. Так, значит отрицание дезъюнкции — это стрелка Пирса. Что ж, это можно запомнить. Вот так:

Таблица истинности для A↑B похожа на разделяющую их стрелку. Теперь, наверное, больше не буду путать их. Для стрелки Пирса:

!A = A↑A
AB = ! !(AB) = !(!A↑!B) = (A↑A)↑(B↑B)
A+B = ! !(A+B) = !(A↑B) = (A↑B)↑(A↑B)