- Заглавие: ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ
- Год актуализации: 2014
- УДК: 004 Информационные технологии. Вычислительная техника...
- ББК: 3281 Кибернетика
- Тематики:
ИНФОРМАТИКА
- Биб. карточка:
ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ [Архитектура ЭВМ: Уч. пос. / В.Д. Колдаев - М.: ИД ФОРУМ: НИЦ ИНФРА-М, 2017. - 384 с.(ПО) (п) ISBN:978-5-8199-0373-5]
- Источник публикации: Архитектура ЭВМ: справочник
- Фрагмент статьи: ЗАКОНЫ МАТЕМАТИЧЕСКОЙ ЛОГИКИ В алгебре логики выполняются следующие основные законы (табл. 1.16), позволяющие проводить тождественные преобразова- ния логических выражений. Таблица 1.16. Основные законы алгебры логики Примечание. Если левая и правая части одновременно, т. е. при одинаковых наборах значений входящих в них переменных, принимают одинаковые зна- чения, то закон доказан. На основании аксиом алгебры логики можно вывести ряд зако- нов. Большинство теорем, а также аксиом записаны парами. При вни- мательном изучении пар можно вывести принцип двойственно- сти – если в тождестве произвести взаимные замены операций дизъюнкции и конъюнкции, либо элементов 0 и 1, то получим тож- дество. Такое свойство называется принципом
