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

Главная » Статьи » Алгебра высказываний

Правила преобразования истинных формул

А А  В  В  А → В  А → В.  А → В  АВ

1  0    1    0        1             1              0              1

1    1    0        1             1              1              0

1  0    0    1        0             1              1              1

1    0    1        1             0              1              1

 

А.

В.

----------

А → В.

А.

В.

----------

А → В.

 

А.

В.

---------

А → В.

А.

В.

---------

АВ.

 

А → В.    А → В.

А.                    В.

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

В.            А ˅ А.

А → В.     А → В.

А.                     В.

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

       В.      А ˅ А.

 

А → В.    А → В.     

А.                    В.

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

        В.     А ˅ А.

АВ.      АВ.    

А.                      В.

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

        В.      А ˅ А.

 

А → В.     А → В.

А.                     B.

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

   В ˅ В.    А.

 

А → В.        А → В.

        A.                В.

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

   В ˅ В.      A.

А → В.     А → В.

А.                     В.

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

  В ˅ В.      А.

 

АВ.      АВ.    

А.                      В.

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

    В ˅ В.    А.

 

 

А → В.

А.

----------

В˅В.

А → В:    (А=1˄В=1)˅(А=0˄В=1)˅(А=0˄В=0).

А:             А=1. (А=0)

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

(В˅В):      (В=1)˅В=0).

А → В.

А.

----------

В.

АВ:   (А=1˄В=1)˅(А=0˄В=1)˅(А=0˄В=0).

А:            А=1.

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

В:             В=1.

АВ.

А.

-----------

В˅В.

(А=1) = (А=0).

АВ:    (А=1˄В=1)˅(А=0˄В=1)˅(А=0˄В=0).

А:             А=0.

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

В˅В:         (В=1)˅(В=0).

А → В.

А.

----------

B˅B

(А → В):    (А=1˄В=1)˅(А=0˄В=1)˅(А=0˄В=0).

А:               А=0.

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

B˅B:           (В=1)˅(В=0).

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