Дано равенство ∀x∃yP(x,y) = ∃y∀xP(x,y). Какие из утверждений верны?

Дано равенство ∀x∀yP(x,y) = ∃x∃yP(x,y). Какие из утверждений верны?

Дано равенство ∀x∃yP(x,y) = ∃x∀yP(x,y). Какие из утверждений верны?

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f1	f2	f3
0	0	0	0	1	0
0	0	1	0	1	0
0	1	0	0	0	0
0	1	1	0	0	0
1	0	0	0	0	1
1	0	1	1	0	1
1	1	0	1	1	0
1	1	1	1	1	1

Какие из этих функций функционально полны в слабом смысле?

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f1	f2	f3
0	0	0	0	1	0
0	0	1	0	0	0
0	1	0	0	0	0
0	1	1	1	1	0
1	0	0	0	1	1
1	0	1	1	0	0
1	1	0	0	0	1
1	1	1	1	1	1

Какие из этих функций функционально полны в слабом смысле?

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f1	f2	f3
0	0	0	0	0	0
0	0	1	0	1	0
0	1	0	0	1	0
0	1	1	1	0	1
1	0	0	0	1	1
1	0	1	0	0	1
1	1	0	1	0	0
1	1	1	1	1	1

Какие из этих функций функционально полны в слабом смысле?

Множества A, B, C выражены через три других множества D, E, F следующими равенствами (знак пересечения опущен): A = D∪EF, B = ((D\E)∪E)F, С = DF∪EF. Отметьте верное равенство:

Множества A, B, C выражены через три других множества D, E, F следующими равенствами (знак пересечения опущен): A = D\(E∪F), B = DE∪DF, C = (D\E)∩(D\F). Отметьте верное равенство:

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f1	f2	f3
0	0	0	0	0	1
0	0	1	1	1	0
0	1	0	1	0	0
0	1	1	0	1	1
1	0	0	1	1	1
1	0	1	1	0	0
1	1	0	1	1	0
1	1	1	0	0	1

Какие из этих функций содержат несущественные переменные?

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f1	f2	f3
0	0	0	1	1	1
0	0	1	0	0	1
0	1	0	0	1	1
0	1	1	1	0	1
1	0	0	0	1	0
1	0	1	0	0	0
1	1	0	0	1	1
1	1	1	1	0	1

Какие из этих функций содержат несущественные переменные?

В таблице приведены три функции f₁, f₂, f₃ от переменных x, y, z:

x	y	z	f1	f2	f3
0	0	0	0	1	0
0	0	1	1	1	1
0	1	0	1	0	1
0	1	1	0	1	0
1	0	0	1	1	0
1	0	1	0	1	1
1	1	0	0	0	1
1	1	1	1	1	0

Какие из этих функций содержат несущественные переменные?