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

Теорема согласованности
Значения входов Значения функций
x y z xy \vee \bar{x}z \vee yz xy \vee \bar{x}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

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

xy \vee \bar{x}z \vee yz = xy \vee \bar{x}z

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

       xy \vee \bar{x}z \vee (x \vee \bar{x})yz
       = xy \vee \bar{x}z \vee xyz \vee \bar{x}yz
       = xy \vee xyz \vee \bar{x}z \vee \bar{x}yz
       = xy(1 \vee z) \vee \bar{x}z(1 \vee y)
       = xy \vee \bar{x}z

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

(x \vee y)(\bar{x} \vee z)(y \vee z) = (x \vee y)(\bar{x} \vee z)

См. также


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Полезное


Смотреть что такое "Теорема согласованности" в других словарях:

  • Теорема CAP — (известная также как теорема Брюера), в информатике  эвристическое утверждение о том, что в любой реализации распределённых вычислений возможно обеспечить не более двух из трёх следующих свойств: согласованность данных… …   Википедия

  • КУПМАНСА ТЕОРЕМА — позволяет рассчитывать потенциал ионизации атома или молекулы в рамках метода молекулярных орбиталей. Состояние электрона в молекуле описывается ур нием Шрёдингера, к рое, определяет волновую ф цию (орбиталь) и энергию электрона (орбитальную… …   Химическая энциклопедия

  • Корреляция — (Correlation) Корреляция это статистическая взаимосвязь двух или нескольких случайных величин Понятие корреляции, виды корреляции, коэффициент корреляции, корреляционный анализ, корреляция цен, корреляция валютных пар на Форекс Содержание… …   Энциклопедия инвестора

  • Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… …   Энциклопедия инвестора

  • ЗАМЕНА БАЗЫ — теоретико категорная конструкция, частными случаями которой являются понятие индуцированного расслоения в топологии, а также понятие расширения кольца скаляров в теории модулей. Пусть С категория с расслоенными произведениями и g: морфизм этой… …   Математическая энциклопедия

  • Дифференциальная форма — порядка или форма  кососимметрическое тензорное поле типа на касательном расслоении многообразия. Дифференциальные формы были введены Эли Картаном в начале XX века. Формализм дифференциальных форм оказывается удобен во многих разделах… …   Википедия

  • Внешний дифференциал — Дифференциальная форма порядка k или k форма кососимметрическое тензорное поле типа на касательном расслоении многообразия. Дифференциальные формы были введены Картаном в начале XX века. Формализм дифференциальных форм оказывается удобен во… …   Википедия

  • Внешняя производная — Дифференциальная форма порядка k или k форма кососимметрическое тензорное поле типа на касательном расслоении многообразия. Дифференциальные формы были введены Картаном в начале XX века. Формализм дифференциальных форм оказывается удобен во… …   Википедия

  • Внутренняя производная — Дифференциальная форма порядка k или k форма кососимметрическое тензорное поле типа на касательном расслоении многообразия. Дифференциальные формы были введены Картаном в начале XX века. Формализм дифференциальных форм оказывается удобен во… …   Википедия

  • Замкнутая форма — Дифференциальная форма порядка k или k форма кососимметрическое тензорное поле типа на касательном расслоении многообразия. Дифференциальные формы были введены Картаном в начале XX века. Формализм дифференциальных форм оказывается удобен во… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»