Упрощение логических функций
Необходимо упростить функцию по правилам логики. $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$ |
Далее:
Односторонние и двусторонние поверхности. Ориентация поверхности
Определение тройного интеграла. Теорема существования тройного интеграла
Класс Te . Теорема о замкнутости Te
Механические приложения двойного интеграла
Лемма о построении множества $[F]_{x1,x2}$
Нормальные формы
Формула Гаусса - Остроградского
Замена переменных в двойном интеграле. Двойной интеграл в полярных координатах
Частные случаи векторных полей
Гармонические поля
Замыкание. Свойства замыкания. Теорема о сведении к заведомо полной системе
Определение криволинейного интеграла второго рода
Критерий полноты {теорема Поста о функциональной полноте}
СКНФ. Теорема о представлении в виде СКНФ. Построение СКНФ по таблице
Класс $L$. Теорема о замкнyтости класса $L$
Огравление $\Rightarrow $
Комментарии ()