Логические выражения. Построение таблиц истинности логических выражений

Сентябрь 12, 2022

Главная
Информатика
Логические выражения. Построение таблиц истинности логических выражений

Содержание

2. Простые высказывания Высказывания бывают простые и сложные. Простым называется высказывание, которое не содержит в себе других
3. Если несколько простых высказываний объединены в одно с помощью логических операций и скобок, то такое высказывание
4. В формальной логике принято, что всякое простое высказывание обязательно имеет одно из двух значений – истина
5. Логические выражения Каждое составное высказывание можно выразить в виде формулы (логического выражения), в которую войдут логические
7. Пример 2. Перевести на язык алгебры логики высказывание:
8. Пример 3. Перевести на язык алгебры логики высказывание:
9. Пример 4. Перевести на язык алгебры логики высказывание:
10. Приоритет логических операций При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно
13. Алгоритм построения таблицы истинности сложного высказывания 1. Вычислить количество строк и столбцов таблицы истинности. Количество строк
14. 2. Начертить таблицу и заполнить заголовок. Первая строка заголовка – номера столбцов. Вторая строка заголовка –
16. Скачать презентацию

Слайд 2

Простые высказывания
Высказывания бывают простые и сложные.
Простым называется высказывание, которое не содержит

в себе других высказываний.
Примеры:
Идет дождь.
Нам живется весело.

Слайд 3

Если несколько простых высказываний объединены в одно с помощью логических операций

и скобок, то такое высказывание называется сложным.
Примеры:
Идет дождь, а у меня нет зонта.
Когда живется весело, то и работа спорится.

Сложные высказывания

Слайд 4

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

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

Слайд 5

Логические выражения
Каждое составное высказывание можно выразить в виде формулы (логического выражения),

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

Слайд 6

Слайд 7

Пример 2.
Перевести на язык алгебры логики высказывание:

Слайд 8

Пример 3.
Перевести на язык алгебры логики высказывание:

Слайд 9

Пример 4.
Перевести на язык алгебры логики высказывание:

Слайд 10

Приоритет логических операций
При вычислении значения логического выражения (формулы) логические операции вычисляются

в определенном порядке, согласно их приоритету:
инверсия
конъюнкция
дизъюнкция
импликация и эквивалентность
Для изменения порядка действий используются скобки.

Слайд 11

Слайд 12

Слайд 13

Алгоритм построения таблицы истинности сложного высказывания
1. Вычислить количество строк и столбцов

таблицы истинности.
Количество строк = 2n + 2 строки заголовка,
где n – количество простых высказываний.
Количество столбцов = сумме количества переменных и количества логических операций.

Слайд 14

2. Начертить таблицу и заполнить заголовок.
Первая строка заголовка – номера столбцов.
Вторая

строка заголовка – промежуточные формулы и соответствующие им условные записи операций

Алгоритм построения таблицы истинности сложного высказывания

Логические выражения. Построение таблиц истинности логических выражений

Содержание

Простые высказыванияВысказывания бывают простые и сложные.Простым называется высказывание, которое не содержит

Если несколько простых высказываний объединены в одно с помощью логических операций

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

Логические выраженияКаждое составное высказывание можно выразить в виде формулы (логического выражения),

Пример 2.Перевести на язык алгебры логики высказывание:

Пример 3.Перевести на язык алгебры логики высказывание:

Пример 4.Перевести на язык алгебры логики высказывание:

Приоритет логических операцийПри вычислении значения логического выражения (формулы) логические операции вычисляются

Алгоритм построения таблицы истинности сложного высказывания1. Вычислить количество строк и столбцов

2. Начертить таблицу и заполнить заголовок.Первая строка заголовка – номера столбцов.Вторая

Похожие презентации