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

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

А   В  A  В  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         1         0            1                       1                             1                                 1

0     1   1    0       0         1         0            1                       1                             1                                 1

0     0   1    1       0         0         1            0                       1                             1                                 1

1     0   0    1       0         1         0            1                       1                             1                                 1

 

(A ˄ B) → (A ˅ B).     X → Y.

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

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

(A ˄B ) → ˥(A ˄ B).      X → Z.

(A ˄ B) → ˥(A ˄ B).    X → Z.           (A ˄ B) → ˥(A ˄ B).    X → Z.

(A ˄ B) → (A ˅ B).     X → Y.           (A ˅ B) → ˥(A ˄ B).    Y → Z.        

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

(A ˅ B) → ˥(A ˄ B).    Y → Z.            (A ˄ B) → (A ˅ B).     X → Y.

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