⌐(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. Заполнить таблицу истинности по столбцам.