Как решать задачи по определению истинности составных высказываний?

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

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

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