Пример 4. Применяя таблицы истинности, докажем равносильность формулы:

Применяя таблицы истинности, докажем равносильность формулы:

построим таблицу истинности левой части:

х	у	х у

построим таблицу истинности правой части:

х	у	у х

После сравнения последних столбцов обеих таблиц, приходим к выводу: формулы равносильны.

Список литературы:

3. Гончарова Г.А., Мочалин А.А. Элементы дискретной математики: Учебное пособие. М.: ФОРУМ: ИНФРА-М, 2003, 128 с.

4. Ерусалимский Я.М. Дискретная математика: Теория, задачи, приложения. М.: Вузовская книга, 2004, 268 с.