Презентация на тему к уроку ЭЛЕМЕНТЫ АЛГЕБРЫ ЛОГИКИ

логики в вычислительной технике
Логика
Аристотель (384-322 до н.э.). Основоположник формальной

Джордж Буль (1815-1864). Создал новую область науки - Математическую логику (Булеву алгебру или Алгебру высказываний).

и умножению, которые могут выполняться над разнообразными математическими объектами

Алгебра

которого можно однозначно определить как истинное или ложное.
В русском

Побудительные и вопросительные предложения высказываниями не являются.
Без стука не входить!
Откройте учебники.
Ты выучил стихотворение?

Высказывание

Но не всякое повествовательное предложение является высказыванием:
Это высказывание ложное.

к нам пришел?
У треугольника 5 сторон.
Как пройти в библиотеку?
Переведите

и преобразования высказываний.
В алгебре логики высказывания обозначают буквами и

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

называется простым, если никакая его часть сама не является

двум высказываниям новое высказывание, являющееся истинным тогда и только

Логические операции

Таблица истинности:

Графическое представление

A

B

А&В

ставит в соответствие новое высказывание, являющееся ложным тогда и

Логические операции

Таблица истинности:

Графическое представление

A

B

АVВ

в соответствие новое высказывание, значение которого противоположно исходному.
Другое название:

Логические операции имеют следующий приоритет:
инверсия, конъюнкция, дизъюнкция.

Логические операции

Таблица истинности:

Графическое представление

A

Ā