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

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

А ˄ В

А

------------------

(А ˄ В) → А

 

А ˄ В

А

------------------

(А ˄ В) → А

 

A ˄ B

А

----------------

А ↔ (A ˄ B) 

 

А ˄ В

В

----------------

(А ˄ В) → В

 

А ˄ В

В

----------------

(А ˄ В) → В

 

(А ˄ В) → А

А → (А ˅ В)

--------------------------

(А ˄ В) → (А ˅ В)

 

(А ˄ В) → (А → В).      

(A → B) → (A → B).     

------------------------------

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

(А ˄ В) → А

А ↔ (A ˄ B)

--------------------------

(А ˄ В) → (A ˄ B)

 

(А ˄ В) → А

А → (А ˅ В)

------------------------

(А ˄ В) → (А ˅ В)

 

(А ˄ В) → (А ˅ В)

(A ˅ B) ↔ (A → B)

------------------------

(А ˄ В) → (A → B)

 

(А ˄ В) → (A → B)

(A → B) → (A → B)

---------------------------

(А ˄ В) → (A → B)

 

 

 

(А ˄ В) → (А → В)

(А → В) → (А ˅ В)

--------------------------

(А ˄ В) → (А ˅ В)

 

(А ˄ В) → (А → В)

(А → В) → (А ˅ В)

--------------------------

(А ˄ В) → (А ˅ В)

 

(A ˄ B) → (A → B)

(A → B) → (A → B)

---------------------------

(A ˄ B) → (A → B)

 

(А ˄ В) → (А ˅ В)

(А ˄ В) → (А → В)

---------------------------

(А → В) → (А ˅ В)

 

(А ˄ В) → А

A → (B → A)

--------------------------

(А ˄ В) → (B → A)

 

(A ˄ B) → ˥(A ˄ B)

˥(A → B) → (A → B)

----------------------------

(A ˄ B) → (A → B)

 

(А ˄ В) → В

В → (A → B)

-------------------------

(А ˄ В) → (A → B)

 

(А ˄ В) → (А ↔ В)

(A ↔ B) → (A → B)

---------------------------

(А ˄ В) → (A → B)

 

 

 

(А ˄ В) → А

A → [B → (A ˄ B)]

-----------------------------------

(А ˄ В) → [B → (A ˄ B)]

 

(А ˄ В) → (А Ꚛ В)

(А Ꚛ В) → (А ˅ В)

--------------------------

(А ˄ В) → (А ˅ В)

 

(А ˄ В) → (А Ꚛ В)

(А Ꚛ В) → (А ˅ В)

--------------------------

(А ˄ В) → (А ˅ В)

 

 

 

(A ˄ B) → (A → B).

(А → В) → (А ˅ В)

----------------------------

(A ˄ B) → (А ˅ В)

 

(А ˄ В) → (А ˅ В)

(А ˅ В) ↔ (А → В)

------------------------------

(А ˄ В) → (А → В)

(А ˄ В) → (А → В)

(A → B) ↔ (B → A)

-------------------------------

(А ˄ В) → (B → A)

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