Question

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

Answer 1

Для проверки можно немного упростить: (+ - логическое или, * - логическое и)
$zland lnot xland ylorlnot(ylor zlor x)stackrel{Delta}{=}zbar x y+overline{y+z+x}=bar xyz+bar xbar ybar z=bar x(yz+bar ybar z)\ =boxed{bar x(yequiv z)}$

$begin{array}{|c|c|c|c|c|c|c|} x & y & z & bar x yz & x+y+z & overline{x+y+z} & bar xyz+overline {x+y+z}\ 0&0&0&0&0&1&1\ 0&0&1&0&1&0&0\ 0&1&0&0&1&0&0\ 0&1&1&1&1&0&1\ 1&0&0&0&1&0&0\ 1&0&1&0&1&0&0\ 1&1&0&0&1&0&0\ 1&1&1&0&1&0&0 end{array}$

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