Каталог статей

Главная » Статьи » Алгебра высказываний
Правила преобразования истинных формул

А  В A B   A˅B A˄B (A˅B) ↔ ˥(A˄B)  A → B (A˅B) ↔ (A → B)  (A → B) ↔ ˥(A˄B).

1    1  0  0       1      0                    1                      1                    1                                      1

0    1  1  0       1      0                    1                      1                    1                                      1

0    0  1  1       1      0                    1                      0                    0                                      1

1    0  0  1       0      1                    0                      1                    1                                      0

 

(A ˅ B) ↔ ˥(A ˄ B).       X ↔ Y.

(A ˅ B) ↔ (A → B).       X ↔ Z.

   ------------------------  =   ------------

(A → B) ↔ ˥(A ˄ B).     Z ↔ Y.

 

Категория: Алгебра высказываний | Добавил: алхимик (05.01.2023)
Просмотров: 98
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]