|
|
|
Компьютеры - Сложение по модулю 2 - Связь с естественным языком19 июля 2011
Оглавление: 1. Сложение по модулю 2 2. Булева алгебра 3. Связь с естественным языком 4. Квантовые вычисления
В естественном языке операция «сложение по модулю 2» эквивалентна двум выражениям:
1. «результат истинен, если A не равно B»;
2. «если A не равно B, то истина».
Часто указывают на сходство между сложением по модулю 2 и конструкцией «либо … либо …» в естественном языке. Составное утверждение «либо A, либо B» считается истинным, когда истинно либо A, либо B, но не оба сразу; в противном случае составное утверждение ложно. Это в точности соответствует определению операции в булевой алгебре, если «истину» обозначать как 1, а «ложь» как 0.
Эту операцию нередко сравнивают с дизъюнкцией потому, что они очень похожи по свойствам, и обе имеют сходство с союзом «или» в повседневной речи. Сравните правила для этих операций:
истинно, если истинно или , или оба сразу.
истинно, если истинно или , но не оба сразу.
Операция исключает последний вариант и по этой причине называется исключающим «ИЛИ». Операция включает последний вариант и по этой причине иногда называется включающим «ИЛИ». Неоднозначность естественного языка заключается в том, что союз «или» может применяться в обоих случаях.
Просмотров: 8049
|