Значения входов Значения функций 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

В булевой алгебре, теорема согласованности — это следующее тождествоFrank Markham Brown, Boolean Reasoning: The Logic of Boolean Equations, 2nd edition, 2003, p. 44.:

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

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

Примечания

См. также Булева алгебра

Категория:Булева алгебра