Контрольний тест ДМ-1

1 ⊆ {1;2;3}

1 ⊆ { {1;2;3} }

{1} ⊆ {1;2;3}

{a} ⊆ {a;b}

⊘ ⊆ {1;2;3}

{1;2;3} ⊆ {1;2;3}

{1} ⊆ { {1}; {2;3} }

1 ∊ A

{1} ∊ A

{ {1} } ∊ A

{1} ⊆ A

{ {1} } ⊆ A

{2} ∊ A

{1; 2} ∊ A

асоціативна;

комутативна; 

неасоціативна;

некомутативна.

різницею множин A та B;

перетином множин A та B;

об’єднанням множин A та B;

різницею множин В та А;

симетричною різницею множин A та B.

різницею множин В та А;

перетином множин A та B;

об’єднанням множин A та B;

різницею множин A та B;

симетричною різницею множин A та B.

множину, що складається з усіх добутків відповідних елементів множин A та B;

множину всіх пар (a, b), у яких перша компонента a ∈ A, а друга компонента b ∈ B;

множину всіх пар (b, a), у яких перша компонента b ∈ B, а друга компонента a ∈ A;

множину всіх пар {a, b}, у яких a ∈ A, b ∈ B.

тотожним;

повним;

функціональним;

порожнім;

рефлексивним.

симетричним;

транзитивним;

рефлексивним;

антисиметричним;

антирефлексивним;

антитранзитивним.

симетричним;

транзитивним;

рефлексивним;

антисиметричним;

антирефлексивним;

антитранзитивним.

рефлексивність;

антирефлексивність;

транзитивність;

антитранзитивність;

симетричність;

антисиметричність.

рефлексивним;

антирефлексивним;

транзитивним;

антитранзитивним;

симетричним;

антисиметричним.

Dom f = A i Im f = B;

Im f = B i ∀ a₁, a₂ ∊ A ∣ a₁ ≠ a₂ => f( a₁) ≠ f(a₂);

Dom f = A

∀ a₁, a₂ ∊ A ∣ a₁ ≠ a₂ => f( a₁) ≠ f(a₂);

Im f = B.

Dom f = A i Im f = B;

Im f = B i ∀ a₁, a₂ ∊ A ∣ a₁ ≠ a₂ => f( a₁) ≠ f(a₂);

Dom f = A

Im f = B;

∀ a₁, a₂ ∊ A ∣ a₁ ≠ a₂ => f( a₁) ≠ f(a₂);

«вертикальної» підмножини відношення;

«горизонтальної» підмножини відношення;

«діагональної» підмножини відношення;

«бінарної» підмножини відношення.

обмеження відношення;

проекція відношення;

об’єднання відношень;

перетин відношень;

різниця відношень;

ділення відношень;

натуральне з’єднання відношень;

прямий добуток відношень.

доменами;

кортежами;

схемою відношення;

атрибутами;

таблицями;

відношеннями-операндами.

доменами;

кортежами;

схемою відношення

атрибутами;

таблицями;

відношеннями-операндами.

так

ні

комутативність;

асоціативність;

одиниця;

обернений елемент.

1

x + 1

немає

5

півгрупа;

моноїд;  

комутативний моноїд;

група;

абелева група.

0,0

0,1

1,0

1,1

всі змінні дорівнють одиниці;

всі змінні дорівнють нулю; 

хоча б одна змінна дорівнює одиниці;

всі змінні дорівнють нулю;

хоча б одна змінна дорівнює нулю.

1 - А; 2 - В; 3 - Г; 4 - Б

1 - Г; 2 - В; 3 - А; 4 - Б

1 - Г; 2 - В; 3 - Б; 4 - А

1 - В; 2 - Б; 3 - Г; 4 - А.

правило Крамера; 

правило де Моргана; 

правило буравчика;

правило Лопіталя.

х ∧ у ;

у → х ;

х → у ;

х ↓ у .

х₁(х₂∨х₃) = х₁¬х₂∨х₁¬х₃

х₁(х₂∨х₃) = х₁х₂∨х₁х₃

х₁∨х₂х₃) = (х₁∨х₂)(х₁∨х₃)

х₁∨х₂х₃) = (х₁∨¬х₂)(х₁∨¬х₃)

алгеброю Буля;

алгеброю логіки;

двомісною булевою алгеброю;

алгеброю булевих функцій.