Упрощение логических функций

Необходимо упростить функцию по правилам логики. $f = \bar {x}y\bar {z} \vee \bar {x}yz \vee x \bar {y}z \vee xy\bar {z}\vee xyz$

Выполним преобразования:

$= \bar {x}y(\bar {z}\vee z)\vee x \bar {y}z\vee xy(\bar {z}\vee z) = \bar {x}y\vee x\bar{y}z\vee xy = y\vee x\bar{y}z = (y\vee x)(y\vee \bar{y})(y\vee z) = (y\vee x)(y\vee z) = y\vee xz $

Выполним проверку с помощью таблицы истинности:

$x$ $y$ $z$ $f$ $xz$ $y\vee xz$
$0$ $0$ $0$ $0$ $0$ $0$
$0$ $0$ $1$ $0$ $0$ $0$
$0$ $1$ $0$ $1$ $0$ $1$
$0$ $1$ $1$ $1$ $0$ $1$
$1$ $0$ $0$ $0$ $0$ $0$
$1$ $0$ $1$ $1$ $1$ $1$
$1$ $1$ $0$ $1$ $0$ $1$
$1$ $1$ $1$ $1$ $1$ $1$

Далее:

Критерий полноты {формулировка}. Лемма о несамодвойственной функции

СКНФ. Теорема о представлении в виде СКНФ. Построение СКНФ по таблице

Теорема о заведомо полныx системаx

Формула Гаусса - Остроградского

Механические и физические приложения поверхностного интеграла первого рода

Криволинейный интеграл первого рода

Вычисление криволинейного интеграла второго рода в случае выполнения условия независимости от формы

Переход от двойного интеграла к повторному. Изменение порядка интегрирования. Переход к полярным координатам

Критерий полноты {теорема Поста о функциональной полноте}

Несобственные интегралы от неограниченной функции

Теорема Стокса

Равносильные формулы алгебры высказываний

Введение

Класс Te . Теорема о замкнутости Te

Критерий полноты {формулировка}. Лемма о немонотонной функции

Огравление $\Rightarrow $