Теоремы алгебры логики

Теоремы для одной переменной охватывают все операции над переменной x и константами "0" и "1":

 

 

 

Теоремы для двух или более переменных – xи y:

  1. Переместительный закон:

                                              

  1. Сочетательный закон:


  1. Распределительный закон:



      Доказательство:
     
      Здесь к скобке применена теорема 2.

  1. Закон поглощения:


       Доказательство:
     

     
      Доказательство:
     

  1. Закон склеивания:


      Доказательство:
     

  1. Закон отрицания (теорема де-Морана)

 

Страница обновлена: 27.09.2016