Логика высказываний Алгоритм построения таблиц истинности Автор: Сергеев Евгений Викторович МОУ СОШ №4 г. Миньяра Челябинск

Слайд 2

Таблицы истинности Решение логических выражений принято оформлять в виде таблиц, в

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

Решение логических выражений принято оформлять в виде таблиц, в которых

по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных
Слайд 3

Для составления таблицы истинности необходимо: Выяснить количество строк (2n, где n

Для составления таблицы истинности необходимо:

Выяснить количество строк (2n, где n –

количество переменных)
Выяснить количество столбцов (количество переменных + количество логических операций)
Построить таблицу, указывая названия столбцов и возможные наборы значений переменных
Заполнить таблицу истинности по столбцам
Слайд 4

Пример 1. Построим таблицу истинности для функции F = (А ∨

Пример 1.

Построим таблицу истинности для функции F = (А ∨ В)

∧ (¬A ∨ ¬B)
Переменных: две (А и В), т.е. N = 2 ⇒ количество строк: 2n=22=4. С заголовком: 5
Количество столбцов: 2 переменные + 5 операций (∨,∧,¬,∨ и ¬). Итого 7
Порядок операций:
1 5 2 4 3
F = (А ∨ В) ∧ (¬A ∨ ¬B)
Слайд 5

Пример 1. Таблица 0 1 1 1 1 1 0 0

Пример 1. Таблица

0
1
1
1

1
1
0
0

F = (А ∨ В) ∧ (¬A ∨ ¬B)

1
0
1
0

1
1
1
0

0
1
1
0

Слайд 6

Пример 2. Построим таблицу истинности для функции F = X ∨

Пример 2.

Построим таблицу истинности для функции F = X ∨ Y

∧ ¬Z
Переменных:
три (X, Y и Z), т.е. n = 3 ⇒ количество строк: 2n=23=8. С заголовком: 9
Количество столбцов:
3 переменные + 3 операции (∨,∧,¬). Итого 6
Порядок операций:
3 2 1
F = X ∨ Y ∧ ¬Z