Суббота, 10.12.2016, 02:07
Главная Регистрация RSS
Вы вошли как Гость | Группа "Гости"Приветствую Вас, Гость
Поделиться
Статистика
Яндекс.Метрика
Flag Counter
Онлайн всего: 7
Гостей: 7
Пользователей: 0
» »
19:54
Эквивалентные преобразования логических формул

Эквивалентные преобразования логических формул

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

$F_1\rightarrow F_2 =\left\rceil\right. \!\! F_1 \vee F_2$

$F_1\leftrightarrow F_2 = (F_1\rightarrow F_2) \& (F_2\rightarrow F_1)=(\left\rceil\right. \!\! F_1\vee  F_2) \& ( \left\rceil\right. \!\! F_2 \vee F_1)$

Этот факт показывает, что множество логических связок дизъюнкции и отрицания, конъюнкции и отрицания формируют функционально полные алгебраические системы. Они достаточны для выражения любой логической функции, любой таблицы истинности

Категория: логика | Просмотров: 211 | Добавил: Admin | Рейтинг: 0.0/0


Похожие материалы:

Всего комментариев: 0
avatar
  .