Основы дискретной математики

<<- Назад к вопросам

Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F), а какие являются связанными (C).
$\begin{array}{llllllllll}(\forall x(P(x,y) & \rightarrow &\exists z (\forall y(Q(x,y,z) &\rightarrow & P(x,z)) \vee P(z,y))) &\rightarrow& \exists zQ(x,y,z))\\\phantom{ (\forall x(P(}1\phantom{,}2 & & \phantom{\exists z (\forall y(Q(}3 \phantom{,y,}4 & & \phantom{P(x,}5 \phantom{)) \vee P(}6 \phantom{,}7 & & \phantom{\exists zQ(x,}8 \phantom{,}9\end{array}$

(Отметьте один правильный вариант ответа.)

Варианты ответа

F={2,7,8} C= {1,3,4,5,6,9}(Верный ответ)

F={1,5,8,9} C= {2, 4,6,7}

F={2,3,5,6} C= {1, 4,7,8,9}

F={2,6,8} C= {1,3,4,5,7,9}

F={2,5,7,8,9} C= {1,3,4,6}

Похожие вопросы

Для следующей формулы определить, какие из занумерованных вхождений переменных свободны (F), а какие являются связанными (C).

$\begin{array}{llllllllll} ((\forall xP(x,y) & \rightarrow & \exists z (\forall y(Q(x,y,z) &\wedge &P(x,z)) &\vee & P(z,y))) &\rightarrow &\exists zQ(x,y,z)) \\\phantom{ ((\forall xP(}1\phantom{,}2 & & \phantom{\exists z (\forall y(Q(}3\phantom{,y,}4& &\phantom{P(x,}5& &\phantom{P(}6\phantom{,}7 & & \phantom{\exists zQ(x,}8\phantom{,}9\end{array}$

$\begin{array}{llllllllll}(\forall x(P(x,y) & \rightarrow & \exists y(\forall z(Q(x,y,z) &\rightarrow & P(x,z)) &\rightarrow & P(z,y))) & \rightarrow & Q(x,y,z)) \\\phantom{ (\forall x(P(}1\phantom{,}2 & & \phantom{\exists y(\forall z(Q(}3\phantom{,y,}4 & & \phantom{P(x,}5 & & \phantom{P(}6\phantom{,} 7& & \phantom{Q(}8\phantom{,}9\end{array}$

Пусть граф G=(V,E) задан своей матрицей смежности

$A_G=\begin{array}{ccccc}0 & 1 & 1 & 1 & 0\\0 & 1 & 0 & 0 & 0\\0 & 1 & 0 & 0 & 1\\0 & 0 & 0 & 1 & 0\\0 & 0 & 1 & 0 & 1\end{array}$

Постройте граф достижимости G*=(V,E*) для G и определите, сколько в нем новых ребер,т.е. чему равна разность |E*| - |E|.

Пусть граф G=(V,E) задан своей матрицей смежности

$A_G=\begin{array}{ccccc}1 & 1 & 0 & 0 & 0\\0 & 0 & 0 & 1 & 1\\1 & 0 & 0 & 0 & 0\\0 & 0 & 0 & 1 & 1\\0 & 0 & 1 & 0 & 0\end{array}$

Постройте граф достижимости G*=(V,E*) для G и определите, сколько в нем новых ребер,т.е. чему равна разность |E*| - |E|.

Пусть граф G=(V,E) задан своей матрицей смежности

$A_G=\begin{array}{ccccc}0& 1 &0 &0 &0\\0 &1& 0& 0& 0\\0 &0 &0 &1 &0\\0 &1 &0 &0 &1\\1 &0 &0 &0 &1\end{array}$

Постройте граф достижимости G*=(V,E*) для G и определите, сколько в нем новых ребер, т.е. чему равна разность |E*| - |E|.

Какие из следующих условий можно выразить булевскими формулами от переменных p₁, p₂, p₃, p₄, использующими лишь логические связки ∧и ∨(без отрицания ¬)?

По крайней мере две переменные из p₁, p₂, p₃, p₄истинны (равны 1).

В точности две переменных из p₁, p₂, p₃, p₄истинны (равны 1).

Хотя бы одна переменная из p₁, p₂, p₃, p₄истинна (равна 1).

По крайней мере две переменные из p₁, p₂, p₃, p₄истинны (равны 1).

Не все из переменных из p₁, p₂, p₃, p₄ложны (равны 0).

Нечетное число переменных из p₁, p₂, p₃, p₄истинны (равны 1).

Какие из следующих условий можно выразить булевскими формулами от переменных p₁, p₂, p₃, p₄, использующими лишь логические связки ∨и ∧(без отрицания ¬)?

По крайней мере три переменных из p₁, p₂, p₃, p₄истинны (равны 1).

В точности три переменных из p₁, p₂, p₃, p₄истинны (равны 1).

Четное число переменных из p₁, p₂, p₃, p₄истинны (равны 1).

Какие из следующих элементарных конъюнкций являются максимальными для функции f(X,Y,Z), заданной следующей последовательностью 8 нулей и единиц: f=(0011 1011).

I ) ¬X ∧ Y ∧ Z , II) X ∧ ¬Z, III) Y ∧ ¬Z, IV) Y, V) X ∧ ¬Y ∧ ¬Z

Какие из следующих элементарных конъюнкций являются максимальными для функции f(X,Y,Z), заданной следующей последовательностью 8 нулей и единиц: f=(1011 1010).

I ) ¬ X∧Y ∧ Z , II) ¬Z, III) ¬ X∧Y , IV) ¬Y, V) X ∧ ¬Z