Теорема согласованности

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Значения входов Значения функций
x y z
0 0 0 0 0
0 0 1 1 1
0 1 0 0 0
0 1 1 1 1
1 0 0 0 0
1 0 1 0 0
1 1 0 1 1
1 1 1 1 1

В булевой алгебре, теорема согласованности — это следующее тождество[1]:

Доказательство этой теоремы:

       
       = 
       = 
       = 
       = 

Дуальное представление этого же уравнения:

Примечания[править | править код]

  1. Frank Markham Brown, Boolean Reasoning: The Logic of Boolean Equations, 2nd edition, 2003, p. 44.

См. также[править | править код]