Пример 2. Построить таблицу истинности формулы: Ф (х,у,z)=

Построить таблицу истинности формулы: Ф (х,у,z)= .

Решение:

1.определить порядок действий в формуле;

2. пользуясь определениями логических операций, заполнить таблицу.

таблица истинности:

								Ф (х,у,z)

Замечание. По мере приобретения навыков можно опускать построение промежуточных столбцов.

Таблицы истинности являются удобным инструментом для доказательства тождественной истинности и ложности формул. Для этого необходимо построить таблицу истинности и посмотреть последний столбец значений истинности формулы. Если последний столбец принимает значения только 1- тавтология, только 0 – противоречие.