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