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

Необходимо упростить функцию по правилам логики. $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$

Далее:

Функции 2-значной логики. Лемма о числе функций. Элементарные функции 1-ой и 2-х переменных

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

Булевы функции от $n$ переменных

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

Вычисление объёмов

Теорема об аналоге СДНФ в Pk

Формулы. Равенство функций и эквивалентность формул. Основные эквивалентности

Вычисление криволинейного интеграла второго рода. Примеры.

Функции k-значной логики. Элементарные функции. Лемма об аналоге правила де Моргана

Свойства криволинейного интеграла второго рода

Несобственные интегралы по неограниченной области

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

Дифференциальные характеристики векторного поля

Определение криволинейного интеграла второго рода

Формула Грина

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