Для решения задач по определению истинности составных высказываний можно использовать следующий подход:

1. Определить форму сложного высказывания. 3 Для этого нужно выделить в нём простые высказывания и обозначить каждое из них буквой. 3
2. Записать сложное высказывание в виде логического выражения. 2 Оно должно содержать логические переменные, логические значения, знаки логических операций и скобки. 2
3. Вычислить значение логического выражения. 2 Для этого нужно вычислить значения выражений в скобках (при наличии скобок), а затем выполнить логические операции в соответствии с их приоритетом: инверсия, конъюнкция, дизъюнкция. 2 Операции одного приоритета выполняются слева направо. 3
4. Построить таблицу истинности. 1 Решение удобно представлять в виде таблицы, обозначив простые высказывания буквами. 1 В первом столбце размещаются исходные данные, во втором определяется истинность высказывания А, в третьем — истинность высказывания В. 1 Если высказывание истинно, ставится 1 (истина), иначе — 0 (ложь). 1 В четвёртом столбце записывается результат инверсии высказывания А: если во втором столбце была записана 1, то в четвёртом на этой строке ставится 0, и наоборот. 1 В пятом столбце записывается результат дизъюнкции полученного после инверсии значения и высказывания В. 1

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