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