Каталог статей
Главная » Статьи » Алгебра высказываний |
ХИМИЯ В ЛОГИКЕ
(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) | |
Просмотров: 62 |
Всего комментариев: 0 | |