Содержание
-
Алгебра логики
-
Основы формальной логики заложил Аристотель. Логика – это наука о формах и способах мышления. Объектами алгебры логики являются высказывания. Высказывания – это повествовательные предложения, о которых можно однозначно сказать, истинны они или ложны.
-
Логические переменные
В алгебре логики высказывания обозначаются именами логических переменных (заглавными латинскими буквами), которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).
-
Логические операции
Логическое умножение (конъюнкция) Обозначается значком: &(и) Составное высказывание, образованное в результате операции логического умножения (конъюнкции), истинно тогда и только тогда, когда истинны входящие в него простые высказывания.
-
Таблица истинности конъюнкции (логического умножения)
-
Логическое сложение (дизъюнкция)
Обозначается значком: V(или) Составное высказывание, образованное в результате логического сложения (дизъюнкции), истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний.
-
Таблица истинности дизъюнкции (логического сложения)
-
Логическое отрицание (инверсия)
__ Обозначается: А (не) Логическое отрицание (инверсия) делает истинное высказывание ложным и, наоборот, ложное – истинным.
-
Таблица истинности инверсии (логического отрицания)
-
Базовые логические элементы
Логический элемент «И» (конъюнктор) – логическое умножение; Логический элемент «ИЛИ» (дизъюнктор) – логическое сложение; Логический элемент «НЕ» (инвертор) – инверсия.
Нет комментариев для данной презентации
Помогите другим пользователям — будьте первым, кто поделится своим мнением об этой презентации.