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