Логическая функция \(F\) задаётся выражением:
\((\overline y \vee \overline z) \rightarrow (z \equiv x)\)
Ниже представлен фрагмент таблицы истинности функции \(F,\) содержащий неповторяющиеся строки, при которых фукнция \(F\) ложна.
\[\begin{array}{|c|c|c|c|} \hline ???&???&???&F\\ \hline \text{???} & 1 & 1 & 0 \\ \hline \text{???} & ??? & 1 & 0 \\ \hline \end{array}\]
Определите, какому столбцу истинности функции \(F\) соответствует каждая переменная \(x, y, z.\)
1. Заметим, что все переменные не могут быть принимать значение 1 одновременно, так как тогда вторая скобка будет истинной, а значит, импликация будет истинной. Значит в первой ячейке первой строки находится 0. Предположим, что первый столбец занимает \(x.\) Но в таком случае дизъюнкция в первой скобке будет ложной (так как \(y = 1, \; z = 1\)), а это значит что \(F = 1.\) Если в первом столбце представлена переменная \(y,\) то переменные \(x, \; z\) будут равны, то есть эквивалентность будет истинной, а \(F = 1.\) Значит в первом столбце находится переменная \(z.\)
2. Рассмотрим вторую строчку теперь. Если \(z = 1,\) то \(y = 0\) (чтобы дизъюнкция была истинной), а \(x = 0.\) Но данный набор не подходит под вторую строку. Значит, \(z = 0\) во второй строке, \(x = 1,\) \(y = 0\) (чтобы строки не повторялись). Значит, \(x\) занимает третий столбец, а \(y\) занимает второй.
Ответ: zyx