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

Категорія: Для програмерів -> Теорія · Автор: admin · Переглядів: 114 |

logik7[1]

Алгебра логіки (Булева логіка, двійкова логіка, двійкова алгебра) — розділ математичної логіки, що вивчає логічні операції над висловлюваннями. Алгебра логіки як алгебраїчна структура наряду з алгеброю множин є частковими випадками булевої алгебри. Засади алгебри логіки були сформульовані британцем Джорджем Булем в 1847 році. Пізніше її розвивали Чарлз Пірс, П. С. Порецький, Бертран Рассел, Давид Гільберт та ін. Відтоді ця система застосовується для вирішення широкого спектру проблем математичної логіки та теорії множин, та особливо конструювання цифрової електроніки (початок використання алгебри логіки для синтезу перемикальних (релейних) схем був покладений в 1938 році роботами відомого американського вченого Клода Шеннона).