Примеры. 1. Составим таблицу истинности для формулы , которая содержит две переменные x и y

1. Составим таблицу истинности для формулы , которая содержит две переменные x и y. В первых двух столбцах таблицы запишем четыре возможных пары значений этих переменных, в последующих столбцах — значения промежуточных формул и в последнем столбце — значение формулы. В результате получим таблицу:

Переменные	Промежуточные логические формулы	Формула

Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 1, то есть является тождественно истинной.

2. Таблица истинности для формулы :

Переменные	Промежуточные логические формулы	Формула

Из таблицы видно, что при всех наборах значений переменных x и y формула принимает значение 0, то есть является тождественно ложной.

3. Таблица истинности для формулы :

Переменные	Промежуточные логические формулы	Формула

Из таблицы видно, что формула в некоторых случаях принимает значение 1, а в некоторых — 0, то есть является выполнимой.

4. В классе оказалось разбито стекло. Учитель объясняет директору: это сделал Коля или Саша. Но Саша этого не делал, т.к. в это время сдавал мне зачет. Следовательно, это сделал Коля.

Решение:

Формализуем данное сложное высказывание.

К – это сделал Коля

С – это сделал Саша

Кол-во простых высказываний n = 2.

Формула высказывания: γ = (К Ú C) & Ø С Þ К

1) Определить количество строк и столбцов в таблице истинности.

Т.к. каждое из простых высказываний может принимать всего два значения (0 или 1), то количество разных комбинаций значений n высказываний – 2 ⁿ .

Количество строк в таблице = 2 ⁿ + строка на заголовок.

Количество столбцов в таблице равно сумме количества простых высказываний (n) и количества разных логических операций, входящих в сложное высказывание.

В нашем примере: количество строк - 2² + 1 = 5,

столбцов – 2 + 4 = 6