Терминологический словарь автоматизации строительства и производственных процессов

Свидетельство о регистрации СМИ:
ЭЛ № ФС77-79395 от 02.11.2020

ISSN: 2782-1528

DOI 10.34660/c0727-6092-6372-a

Последнее обновление словаря: 14.05.2024 - 12:54
Категории

Алгебра логики

Алгебра логики — раздел математической логики, изучающий логические законы, выражаемые формулами, построенными из высказывательных констант и переменных, а также из символов логических связок. Алгебра логики применяется при решении традиционных логических задач алгебраическими методами, в теории множеств, теории вероятностей, в дискретной автоматике. Отдельные высказывания в алгебре логики обозначаются буквами какого-либо алфавита. Истинность высказывания принято отождествлять с числом «1», а ложность — с числом «0». Функции, принимающие эти два значения, являются предметом изучения алгебры логики. Основными логическими операциями являются: отрицание Ā, логическое умножение, или конъюнкция (А∧В), логическое сложение, или дизъюнкция (А∨В), эквивалентность (А=В), импликация (А→В). Формулы алгебры логики получаются посредством составления сложных выражений из простых высказываний с использованием основных логических операций.

[Зотов В.В., Маслов Ю.Н., Пядочкин А.Е., Самойлов Л.К., Темников Ф.Е., Хорошилов В.О., Черпаков Б.И. Терминологический словарь по автоматике, информатике и вычислительной технике — Москва: Высшая школа, 1989 — с.191]

Алгебра логики (булева алгебра) — математический аппарат, с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания.

[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]

401 просмотров

Правообладателям! В случае если свободный доступ к данному термину является нарушением авторских прав, составители готовы, по требованию правообладателя, убрать ссылку, либо сам термин (определение) с сайта. Для связи с администрацией воспользуйтесь формой обратной связи.