Как определять истинность составных логических выражений?

Чтобы определить истинность составного логического выражения, нужно: 1

1. Разбить сложное высказывание на простые высказывания. 1
2. Определить истинность каждого простого высказывания (0 или 1). 1
3. Построить таблицы истинности для логических операций, чтобы определить истинность всего составного высказывания. 1

Для построения таблицы истинности необходимо: 2

1. Записать выражение и определить порядок выполнения операций. 2
2. Определить количество строк в таблице истинности. 2 Оно равно количеству возможных комбинаций значений логических переменных, входящих в логическое выражение (определяется по формуле Q = 2n, где n — количество входных переменных). 2
3. Определить количество столбцов в таблице истинности (количество логических переменных + количество логических операций). 2
4. Построить таблицу истинности, обозначить столбцы (имена переменных и обозначения логических операций в порядке их выполнения) и внести в таблицу возможные наборы значений исходных логических переменных. 2
5. Заполнить таблицу истинности, выполняя базовые логические операции в необходимой последовательности и в соответствии с их таблицами истинности. 2

Также существует аналитический способ решения — простым рассуждением и перебором возможных вариантов. 3