Вы пропустили (не знали??) операцию "ИСКЛЮЧАЮЩЕЕ ИЛИ-НЕ".
0 ^ 0 = 1
0 ^ 1 = 0
1 ^ 0 = 0
1 ^ 1 = 1
Как видим, в ней - если хотя бы один операнд - ложь, то и результат = ложь.
И только полная ложь (оба операнда=ложь), равно "истина".
Видим мы другое. Вы перепутали "ИСКЛЮЧАЮЩЕЕ ИЛИ-НЕ" (таблицу истинности которой Вы привели правильно; проще эту операцию назвать "эквивалентностью") и отрицание дизъюнкции (которую Вы описали словами).
Так что именно этот пример говорит нам о чем?
Учится, учиться, и еще раз: учиться!
(Заодно, порадую цитатой
Снег Север'а, а то его все обижают на форуме. Впрочем, он, кажется, верит не в Ленина, а в Сталина).
Если уж лжешь - лги правдоподобно... глядишь - и за истину проканает.
В этом весь Микротон, за что и люблю!