Каталог статей
Главная » Статьи » Алгебра высказываний |
ХИМИЯ В ЛОГИКЕ
Доказательство: (˥X ↔ Y) = (˥X =1, Y =1), (˥X =0, Y =0) (по определению). (X ˅ Y) = (X =1, Y =1), (X =0, Y =1), (X =1, Y =0) (по определению). Одинаковые выражения (˥X =1, Y =1) и (˥X =0, Y =0) сокращаются. (X =1, Y =1) исключается, т.к. противоречит истинности (˥X ↔ Y). --------------------------------------------------------------------------------------- (˥X ↔ Y) → (X ˅ Y). (˥X ↔ Y) → (˥X → Y) (по определению). (˥X → Y) ↔ (X ˅ Y) (по определению). Одинаковые, накрест стоящие выражения (˥X → Y), сокращаются. ------------------------------------------------------------------------------ (˥X ↔ Y) → (X ˅ Y). | |
Категория: Алгебра высказываний | Добавил: алхимик (16.05.2023) | |
Просмотров: 36 |
Всего комментариев: 0 | |