Примеры. Пример 1.Таблица истинности для отрицания

Пример 1. Таблица истинности для отрицания. (См. определение 15.)

А	А ()
и	л
л	и

Пример 2. Таблица истинности для конъюнкции. (См. определение 16.)

А	В	(А & В)
и	и	и
л	и	л
и	л	л
л	л	л

Пример 3. Таблица истинности для дизъюнкции. (См. определение 17.)

А	В
и	и	и
л	и	и
и	л	и
л	л	л

Пример 4. Таблица истинности для импликации. (См. определение 18.)

А	В	()
и	и	и
л	и	и
и	л	л
л	л	и

Пример 5. Таблица истинности для эквивалентности. (См. определение 19.)

А	В	()
и	и	и
л	и	л
и	л	л
л	л	и

Определение 22. Внешне различные выражения называются равносильными (или А = В), если их таблицы истинности одинаковы.

Например: и .

Дата добавления: 2014-01-07