Поиск по: -
Поискать по всем серверам
На этой странице приведены все страницы, которые ссылаются на http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_07_sheets/01_logic/04_transforme/index.html. Показаны документы 1 - 1 из 1.
1. Импликация и эквивалентность
Известно, что любая логическая формула может быть выражена через три ранее рассмотренные логические операции, однако на практике часто используют еще две логические связки. ... Тогда логической формулой этого сложного высказывания будет импликация: A B. Другой распространенной операцией является эквивалентность . ... Тогда логическая формула сложного высказывания запишется в виде A B. Приведем таблицу истинности, задающую операции импликации и эквивалентности: . ...
[
Сохраненная копия
]
Ссылки http://uneex.mithril.cs.msu.su/static/AltDocs_informatika2/Book2/ch_07_sheets/01_logic/03_implies/index.html -- 5.3 Кб -- 26.09.2011
[ Сохраненная копия ] Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_07_sheets/01_logic/03_implies/index.html -- 5.3 Кб -- 06.09.2008
Похожие документы
[ Сохраненная копия ] Ссылки http://uneex.lorien.cs.msu.su/static/AltDocs_informatika2/Book2/ch_07_sheets/01_logic/03_implies/index.html -- 5.3 Кб -- 06.09.2008
Похожие документы
Астронет | Научная сеть | ГАИШ МГУ | Поиск по МГУ | О проекте | Авторам
Комментарии, вопросы? Пишите: info@astronet.ru или сюда