Предварительный просмотр презентации

Элементы алгебры логики 8 класс

Алгебра логики – это наука о выполнении логических операций над высказываниями. Высказывание – повествовательное предложение, значение которого может быть истина или ложь. Обозначение: Истина – 1 Ложь – 0 Высказывания обозначают буквами латинского алфавита и называют логическими переменными. Примеры: 1. А: Зимой цветут подснежники. А=0 2. В: Площадь квадрата равна квадрату его стороны. В= 1

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

Логическое умножение (конъюнкция) Обозначение: & И А В А &В 0 0 0 0 1 0 1 0 0 1 1 1

Логическое сложение (дизъюнкция) Обозначение: OR ИЛИ А В А +В 0 0 0 0 1 1 1 0 1 1 1 1

Логическое отрицание (инверсия) Обозначение: NOT НЕ А А 0 1 1 0

Логическое следование (импликация) Обозначение: Если, то А В А В 0 0 1 0 1 1 1 0 0 1 1 1

Равносильность (эквивалентность) Обозначение: Тогда и только тогда, когда А В А В 0 0 1 0 1 0 1 0 0 1 1 1

Порядок выполнения логических операций: Инверсия (отрицание) Конъюнкция (умножение) Дизъюнкция (сложение) Импликация (следование) Эквиваленция (равносильность)