Постройте таблицу истинности для логической функции:

Для проверки можно немножко упростить: (+ - логическое либо, * - логическое и)
$z\land \lnot x\land y\lor\lnot(y\lor z\lor x)\stackrel\Delta=z\bar x y+\overliney+z+x=\bar xyz+\bar x\bar y\bar z=\bar x(yz+\bar y\bar z)\\amp;10;=\boxed\bar x(y\equiv z)$

$\beginarraycccccccamp;10;x amp; y amp; z amp; \bar x yz amp; x+y+z amp; \overlinex+y+z amp; \bar xyz+\overline x+y+z\\amp;10;0amp;0amp;0amp;0amp;0amp;1amp;1\\amp;10;0amp;0amp;1amp;0amp;1amp;0amp;0\\amp;10;0amp;1amp;0amp;0amp;1amp;0amp;0\\amp;10;0amp;1amp;1amp;1amp;1amp;0amp;1\\amp;10;1amp;0amp;0amp;0amp;1amp;0amp;0\\amp;10;1amp;0amp;1amp;0amp;1amp;0amp;0\\amp;10;1amp;1amp;0amp;0amp;1amp;0amp;0\\amp;10;1amp;1amp;1amp;0amp;1amp;0amp;0amp;10;\endarray$

К слову, в заключительном столбце вышло как раз то, что надобно: 1 там, где x = 0 и y = z, т.е. для композиций 000 и 011.

О проекте

Постройте таблицу истинности для логической функции:

Добро пожаловать!