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

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

А  В А˄В (А˄В) → А A → ((А˄В) → А) А ↔ В (А˄В) → (А ↔ В)

1   1      1                1                          1                       1                      1

0   1      0                1                          1                       0                      1

0   0      0                1                          1                       1                      1

1   0      0                1                          1                       0                      1

 

(А ˄ В) → А.                    X.

A → ((А ˄ В) → А).           Y.

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

(А ˄ В) → (А ↔ В).            Z.

 

(А ˄ В) → (А ↔ В).         Z.         (А ˄ В) → А.                    X.

A → ((А ˄ В) → А).         Y.          (А ˄ В) → (А ↔ В).         Z.

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

(А ˄ В) → А.                    X.           A → ((А ˄ В) → А).       Y.

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