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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
Значения входов Значения функций
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

В булевой алгебре, теорема согласованности является упрощением следующего выражения:

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

       
       = 
       = 
       = 
       = 

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

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