⌐(x ⋀ y) ⋁ z (см.картинку)
При составлении таблиц истинности необходимо:
1. Выяснить количество строк в таблице (2^n, где n – количество переменных, + 1(строка под заголовки)).
Здесь 3 переменные: x, y и z
2^3 = 8
8 + 1 = 9 строк
2. Выяснить количество столбцов (количество переменных + количество операций).
Здесь 3 операции:
1. x ⋀ y (промежуточная логическая формула)
2. ⌐(x ⋀ y) (промежуточная логическая формула)
3. ⌐(x ⋀ y) ⋁ z (формула)
Здесь 3 переменные: x, y и z
3 + 3 = 6 столбцов
3. Установить последовательность выполнения логических операций.
Порядок выполнения логических операций в сложном логическом выражении:
1. Инверсия
2. Конъюнкция
3. Дизъюнкция
4. Импликация
5. Эквивалентность
6. Для изменения указанного порядка выполнения операций используются скобки
Здесь порядок выполнения операций:
1. x ⋀ y
2. ⌐(x ⋀ y)
3. ⌐(x ⋀ y) ⋁ z
4. Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных.
5. Заполнить таблицу истинности по столбцам.
