Полином Жегалкина. Пример.

Имеем следующую логическую функцию.

$f = xy\vee \bar { y } \bar { z } $. Преобразовать функцию так, чтобы она содержала две операции.

Вспомним таблицу истинности $\oplus$ и $\wedge$:

$x$ $y$ $x\oplus y$ $xy$
$0$ $0$ $0$ $0$
$0$ $1$ $1$ $0$
$1$ $0$ $1$ $0$
$1$ $1$ $0$ $1$

Составим таблицу истинности:

$x$ $y$ $z$ $\bar { y } $ $\bar { z } $ $xy$ $\bar { y } \bar { z } $ $f$
$0$ $0$ $0$ $1$ $1$ $0$ $1$ $1$
$0$ $0$ $1$ $1$ $0$ $0$ $0$ $0$
$0$ $1$ $0$ $0$ $1$ $0$ $0$ $0$
$0$ $1$ $1$ $0$ $0$ $0$ $0$ $0$
$1$ $0$ $0$ $1$ $1$ $0$ $1$ $1$
$1$ $0$ $1$ $1$ $0$ $0$ $0$ $0$
$1$ $1$ $0$ $0$ $1$ $1$ $0$ $1$
$1$ $1$ $1$ $0$ $0$ $1$ $0$ $1$

Запишем общий вид полинома Жегалкина $f = xy\vee \bar { y } \bar { z } = \overset { 0 } { a_ { 123 } } xyz\oplus \overset { 1 } { a_ { 12 } } xy\oplus \overset { 0 } { a_ { 13 } } xz\oplus \overset { 1 } { a_ { 23 } } yz\oplus \overset { 0 } { a_ { 1 } } x\oplus \overset { 1 } { a_ { 2 } } y\oplus \overset { 1 } { a_ { 3 } } z\oplus \overset { 1 } { a_ { 0 } } = xy\oplus yz\oplus y\oplus z\oplus 1 $

$f(0,0,0) = \overset { 1 } { a_ { 0 } } = 1$

$f(0,0,1) = \overset { 1 } { a_ { 3 } } \oplus \overset { 1 } { a_ { 0 } } = 0$

$f(0,1,0) = \overset { 1 } { a_ { 2 } } \oplus \overset { 1 } { a_ { 0 } } = 0$

$f(0,1,1) = \overset { 1 } { a_ { 23 } } \oplus \overset { 1 } { a_ { 2 } } \oplus \overset { 1 } { a_ { 3 } } \oplus \overset { 1 } { a_ { 0 } } = 0$

$f(1,0,0) = \overset { 0 } { a_ { 1 } } \oplus \overset { 1 } { a_ { 0 } } = 1$

$f(1,0,1) = \overset { 0 } { a_ { 13 } } \oplus \overset { 0 } { a_ { 1 } } \oplus \overset { 1 } { a_ { 3 } } \oplus \overset { 1 } { a_ { 0 } } = 0$

$f(1,1,0) = \overset { 1 } { a_ { 12 } } \oplus \overset { 0 } { a_ { 1 } } \oplus \overset { 1 } { a_ { 2 } } \oplus \overset { 1 } { a_ { 0 } } = 1$

$f(1,1,1) = \overset { 0 } { a_ { 123 } } \oplus \overset { 1 } { a_ { 12 } } \oplus \overset { 0 } { a_ { 13 } } \oplus \overset { 1 } { a_ { 23 } } \oplus \overset { 0 } { a_ { 1 } } \oplus \overset { 1 } { a_ { 2 } } \oplus \overset { 1 } { a_ { 3 } } \oplus \overset { 1 } { a_ { 0 } } = 1$

Далее:

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

Векторное поле

Замыкание. Свойства замыкания. Теорема о сведении к заведомо полной системе

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

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

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

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

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

Примеры применения цилиндрических и сферических координат

Полином Жегалкина. Теорема о представлении в виде полинома Жегалкина

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

Условия независимости криволинейного интеграла от пути интегрирования

Выражение площади плоской области через криволинейный интеграл

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

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