Построение таблиц истинности

Содержание

Слайд 2

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

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

обозначают буквами и называют логическими переменными.
А = 1 - истина, В = 0 - ложь.
0 и 1 называются логическими значениями.

Алгебра логики

Слайд 3

Простые и сложные высказывания Высказывания бывают простые и сложные. 1) Москва

Простые и сложные высказывания

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

1) Москва – столица

России

2) Москва – столица России и 2 * 2 = 5

3) Москва – столица России или 2 * 2 = 4

4) Москва не столица России

неА

А или В

А и В

А

Слайд 4

Конъюнкция Другое название: логическое умножение. Обозначения: ∧ , ×, &, И.

Конъюнкция
Другое название: логическое умножение.
Обозначения: ∧ , ×, &, И.

Логические

операции

Таблица истинности:

Москва – столица России и
2 * 2 = 5

Слайд 5

Дизъюнкция Другое название: логическое сложение. Обозначения: V, |, ИЛИ, +. Логические

Дизъюнкция
Другое название: логическое сложение.
Обозначения: V, |, ИЛИ, +.

Логические операции

Таблица

истинности:

Москва – столица России или
2 * 2 = 5

Слайд 6

Инверсия (ОТРИЦАНИЕ) Другое название: логическое отрицание. Обозначения: НЕ, ¬ , ¯

Инверсия (ОТРИЦАНИЕ)
Другое название: логическое отрицание.
Обозначения: НЕ, ¬ , ¯

Логические операции

имеют следующий приоритет:
инверсия, конъюнкция, дизъюнкция.

Логические операции

Таблица истинности:

Москва – столица России

Слайд 7

Построение таблиц истинности для логических выражений Новая тема от 18.11.2020

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

Новая тема от 18.11.2020

Слайд 8

Построение таблиц истинности для логических выражений подсчитать n - число переменных

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

подсчитать n - число переменных в

выражении

подсчитать общее число логических операций в выражении

установить последовательность выполнения логических операций

определить число столбцов в таблице

заполнить шапку таблицы, включив в неё переменные и операции

определить число строк в таблице без шапки: m =2n

выписать наборы входных переменных

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

Слайд 9

А V A & B Пример построения таблицы истинности n =

А V A & B

Пример построения таблицы истинности

n = 2, m

= 22 = 4.
Приоритет операций: &, V