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