Логические операции. Составление таблиц истинности презентация

Формальная логика изучает только истинность и ложность высказываний.
Логическое высказывание – это повествовательное предложение, относительно которого можно однозначно сказать, истинно оно или ложно.
Результат выполнения логической операции можно представить как истинность (1) или ложность (0) некоторого высказывания.
Джордж Буль разработал основы алгебры, в которой используются только 0 и 1(алгебра логики, булева алгебра).
Джордж
Буль

Операция НЕ (инверсия)
таблица истинности
операции НЕ
Если высказывание A истинно, то «не А» ложно, и наоборот.
Таблица истинности логического выражения Х – это таблица, где в левой части записываются все возможные комбинации значений исходных данных, а в правой – значение выражения Х для каждой комбинации.
Обозначение операции НЕ: ;
0
0
1
1

Операция И (логическое умножение или конъюнкция)
Высказывание «A и B» истинно тогда и только тогда, когда А и B истинны одновременно.
Обозначение операции И
A+B, A ∨ B, A или B,
0
0
0
1
1
0
1
таблица истинности
операции И
Конъюнкция — соединение

Операция ИЛИ (логическое сложение, дизъюнкция
Высказывание «A или B» истинно тогда, когда истинно А или B, или оба вместе.
Обозначение
операции:
A+B, A ∨ B
A или B
Дизъюнкция — разъединение
таблица истинности
операции ИЛИ

Операция Импликация («если …, то …»)
Высказывание «A → B» истинно, если не исключено, что из А следует B.
Обозначение
операции:
А → B

Операция Эквивалентность («тогда и только тогда,..»)
Эквивалентность («тогда и только тогда, …»)
Обозначение
операции:
А ↔ B

Составление таблицы истинности для функции F
Количество столбиков в таблице определяется
количеством переменных и операций с ними

Составление таблицы истинности для функции G
Количество столбиков в таблице определяется
количеством переменных и операций с ними

Составление таблицы истинности для функции D
А ↔ B
Количество столбиков в таблице определяется
количеством переменных и операций с ними