- Теорема согласованности
-
Значения входов Значения функций 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 В булевой алгебре, теорема согласованности является упрощением следующего выражения:
Доказательство этой теоремы:
=
=
=
=
Дуальное представление этого же уравнения:
См. также
На эту статью не ссылаются другие статьи Википедии. Пожалуйста, воспользуйтесь подсказкой и установите ссылки в соответствии с принятыми рекомендациями.Категория:- Булева алгебра
Wikimedia Foundation. 2010.