Теорія: Алгебра логіки – це розділ математичної логіки, що вивчає висловлювання та логічні операції над ними. Алгебра логіки допомагає нам зрозуміти внутрішній пристрій комп'ютера.
Алгебра логіки у її сучасному викладі займається дослідженням операцій із висловлюваннями, тобто із пропозиціями, які характеризуються лише однією якістю — істиннісним значенням (істина, брехня).
Алгебра логіки (бульова алгебра) вивчає висловлювання, що розглядаються з боку їх логічних значень (істинності чи хибності), та логічні операції з них. Основним предметом алгебри логіки є висловлювання.
Алгебра логіки – Розділ математики, що вивчає висловлювання, що розглядаються з точки зору їх логічних значень (істинності чи хибності), та логічні операції з них.