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

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

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

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

                                              

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

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

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

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

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

1. 

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

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

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

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