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