- Заглавие: БУЛЕВСКАЯ (БУЛЕВА) АЛГЕБРА
- Год актуализации: 2013
- УДК: 004 Информационные технологии. Вычислительная техника...
- ББК: 3281 Кибернетика
- Тематики:
ИНФОРМАТИКА
- Биб. карточка:
БУЛЕВСКАЯ (БУЛЕВА) АЛГЕБРА [Языки программирования: Уч. пос./О.Л.Голицына - 3 изд. - М.: Форум: НИЦ ИНФРА-М, 2017-400с.(ПО) (п) ISBN:978-5-91134-744-
- Источник публикации: Языки программирования: справочник
- Фрагмент статьи: БУЛЕВСКАЯ (БУЛЕВА) АЛГЕБРА – раздел математической логики, изучающий высказывания и операции над ними. Частный случай алгебры логики. Под высказываниями понимается любое утверждение, которое бывает либо истинным, либо ложным. Над высказываниями возможны операции: И (конъюнкция &, ˄); ИЛИ (дизъюнкция, ˅); «если ..., то» (импликация, →); двусторонняя им- пликация (эквивалентность, ~); НЕ (отрицание, ¬). Введено поня- тие функций, которые могут задаваться таблицами (таблицы ис- тинности). Логические операции подчиняются законам: коммута- тивности, ассоциативности, поглощения, дистрибутивности, про- тиворечия и исключенного третьего.
