Каталог статей

Главная » Статьи » Алгебра высказываний

ХИМИЯ В ЛОГИКЕ
(X ˄ Y) = (X =1, Y =1) (по определению конъюнкции).
(Y ˄ ˥Z) = (Y =1, ˥Z =1) (по определению конъюнкции).
После сокращений Y =1 в остатке (X =1, ˥Z =1).
-----------------------------------------------------------------
(X ˄ Z) = (X =1, ˥Z =1) (согласуется с определением конъюнкции).
Категория: Алгебра высказываний | Добавил: алхимик (16.05.2023)
Просмотров: 33
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]