Каталог статей
Главная » Статьи » Алгебра высказываний |
ХИМИЯ В ЛОГИКЕ
А В С А ˄ В (А ˄ В) ˄ С А ˄ С (А ˄ С) ˄ В В ˄ С (В ˄ С) ˄ А 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 [(А ˄ В) ˄ С] ↔ [(А ˄ С) ˄ В]. [(А ˄ С) ˄ В] ↔ [(В ˄ С) ˄ А]. ---------------------------------------- [(А ˄ В) ˄ С] ↔ [(В ˄ С) ˄ А]. Следствия: (А ˄ С) ˄ В. (А ˄ В) ˄ С. А ˄ В. А ˄ В. ------------------- ↔ ----------------- С. С. А ˄ В. А ˄ В. B ˄ C. А ˄ C. ---------- ---------- А ˄ C. B ˄ C. | |
Категория: Алгебра высказываний | Добавил: алхимик (16.05.2023) | |
Просмотров: 68 |
Всего комментариев: 0 | |