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

Порядок действий
Решение логических выражений принято записывать в виде таблиц истинности – таблиц, в которых по действиям показано, какие значения принимает логическое выражение при всех возможных наборах его переменных.
При составлении таблицы истинности для логического выражения необходимо учитывать порядок выполнения логических операций, а именно:
Действия в скобках
Отрицание
Конъюнкция
Дизъюнкция
Импликация
Эквивалентность

Построение таблиц истинности сложных высказываний
Алгоритм составления таблицы истинности:
1. Выяснить количество строк в таблице (вычисляется как 2n, где n – количество переменных + строка заголовков столбцов).
2. Выяснить количество столбцов (вычисляется как количество переменных + количество логических операций).
3. Установить последовательность выполнения логических операций.
4. Построить таблицу, указывая названия столбцов и возможные наборы значений исходных логических переменных.
5. Заполнить таблицу истинности по столбцам.
6. Записать ответ (определить вид формулы)

Пример 1.
Формула опровержимая и выполнимая.

Пример 2.
Формула опровержимая и выполнимая.