5. Исключающее или

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

Приоритеты выполнения операций: сначала выполняются операции в скобках, затем отрицание, конъюнкция и дизъюнкция слева направо, импликация, эквиваленция.

Пример: Построить таблицу истинности логической функции .

Для построения таблицы истинности, необходимо для двух входящих высказываний С и В перебрать все возможные варианты отношений (оба ложны, оба истинны, одно истинно – другое ложно), а затем последовательно, по столбцам, в соответствии с приоритетами выполнить все логические операции:

Упражнения

1. Построить таблицу истинности высказывания .

2. Определить, верно ли тождество .

6