Логические операции. Булевский тип.

Впервые понятия высказывания и ввел Аристотель в V веке д.н.э. (Древняя Греция) Формальную логику как алгебру описал Джордж Буль в XIX веке.

С 1867 года американский ученый Чарльз Сандерс Пирс работает над модификацией и расширением булевой алгебры. Пирс первым осознал, что бинарная логика имеет сходство с работой электрических переключателей.  Переключатель либо пропускает ток (Истина), либо не пропускает (Ложь).  После изобретения электронных устройств в качестве электрических переключателей используются электронные схемы. На этих схемах позже строились компьютеры.

Основные понятия

Высказывание - предложение, относительно которого имеет смысл говорить истинно оно  или ложно.

Логическое выражение – простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операций (связок)

Алгебру логики называют формальной логикой или алгеброй Буля.

Высказывание может принимать только 2 значения - ИСТИНА (1) и ЛОЖЬ (0)

Логические выражения и логические операции

Простое логическое выражение - состоит из одного высказывания.

Сложное логическое выражение - содержит  высказывания, объединенные логическими операциями.

Сложное логическое выражение (функция) - содержит аргументы, которыми являются высказывания.

Основные логические операции

Операции только рассмотрим, записывать не будем пока.

Операция отрицания (инверсия)

Присоединение «НЕ»к высказыванию меняет его истинное значение на противоположное

Операция логического умножения (конъюнкция)

Объединение высказываний с помощью логического «И».

Операция логического сложения (дизъюнкция)

Соединение высказываний с помощью логического «или».

Выполните
Практическое задание по высказываниям
Практическое задание по типу Boolean

Домашнее задание
Доделать задачи, которые не успели сделать в классе.