wayground logo

Free Printable Worksheets

Font size

S
M
L
XL
Worksheets

Логика высказываний и побитовые операции

Total questions: 146

Worksheet time: 1hrs 13mins

Name
Class
Date
1.

Let pp be a statement. The assertion "it is not true that pp " is denoted by

a)

¬p\neg p

b)

p\oplus\, p

c)

p¬pp \to \neg p

d)

p¬pp \land \neg p

e)

¬pp\neg p \lor p

2.

Let pp and qq be statements. The statement that is true if and only if both pp and qq are true, and false otherwise, is denoted by

a)

pqp \land q

b)

pqp \lor q

c)

pqp \to q

d)

pqp \leftrightarrow q

e)

pqp \oplus q

3.

Let pp and qq be statements. The statement that is false if and only if both pp and qq are false, and true otherwise, is denoted by

a)

pqp \lor q

b)

pqp \land q

c)

pqp \to q

d)

pqp \leftrightarrow q

e)

pqp \oplus q

4.

Let pp and qq be statements. The statement that is true if and only if exactly one of pp and qq is true, and otherwise false, is denoted by

a)

pqp \oplus q

b)

pqp \lor q

c)

pqp \to q

d)

pqp \leftrightarrow q

e)

pqp \land q

5.

Let pp and qq be statements. The statement that is false if and only if pp is true and qq is false, and true in all other cases, is denoted by

a)

pqp \to q

b)

pqp \lor q

c)

pqp \land q

d)

pqp \leftrightarrow q

6.

Let pp and qq be statements. The statement that is true if and only if pp and qq have the same truth values, and false otherwise, is denoted by

a)

pqp \leftrightarrow q

b)

pqp \lor q

c)

pqp \to q

d)

pqp \land q

e)

pqp \oplus q

7.

Which of the following statements is a proposition?

a)

3+2=63 + 2 = 6

b)

Can you help me?

c)

Take this pencil.

d)

x+2=6x + 2 = 6

e)

Why should you study discrete mathematics?

8.

Find the converse of the implication p¬qp \to \neg q .

a)

¬qp\neg q \to p

b)

q¬pq \to \neg p

c)

qpq \to p

d)

¬q¬p\neg q \to \neg p

e)

pqp \to q

9.

Find the contraposition of the statement ¬pq\neg p \to q .

a)

¬qp\neg q \to p

b)

q¬pq \to \neg p

c)

p¬qp \to \neg q

d)

¬q¬p\neg q \to \neg p

e)

pqp \to q

10.

Find the bitwise OR for the bit strings 1011 0010 and 0110 0110.

a)

1111 0110

b)

0010 0011

c)

0011 0011

d)

1010 1001

e)

0111 1100

11.

Find the bitwise AND for the bit strings 1010 1010 and 1001 1001.

a)

1000 1000

b)

1011 1011

12.

Find the bitwise XOR for the bit strings (0111 0101) and (1101 0101). Write the result as a binary string with a space after every four bits.

a)

1010 0000

b)

1111 0111

c)

0101 0100

d)

0110 1010

e)

1101 0101

13.

Select the correct truth table for the statement (p → q) ∨ (¬p ↔ q). Each of the five tables is shown in the image; indicate which one is correct.

a)

First option of the table

b)

Second option of the table

c)

Third option of the table

d)

Fourth option of the table

e)

Fifth option of the table

14.

Select the correct truth table for the statement p ⊕ (¬q → r). Each of the five tables is shown in the image; indicate which one is correct.

a)

First option of the table

b)

Second option of the table

c)

Third option of the table

d)

Fourth option of the table

e)

Fifth option of the table

15.

Let p, q, and r be the statements "You get an A on the final exam", "You complete every exercise in this book", and "You get an A in this course" respectively. Write the statement "Getting an A on the final exam and completing every exercise in this book is sufficient to get an A in this course" using p, q, r, and logical connectives.

a)

(p ∧ q) → r

b)

r → (p ∧ q)

c)

(p ∨ q) → r

d)

(p ∧ q) ↔ r

e)

¬r → (¬p ∧ ¬q)

16.

Let p and q be the statements "You get an A on the final exam" and "You get an A in this course" respectively. Write the statement "To get an A in this course, it is necessary to get an A on the final exam" using p, q, and logical connectives.

a)

p → q

b)

q → p

c)

q ↔ p

d)

p ⊕ q

e)

¬p → ¬q

17.

Calculate the expression (101100010101)110110(10\,1100 \oplus 01\,0101) \land 11\,0110 . Present the answer as a binary string with a space after every four bits.

a)

11 0000

b)

11 0100

c)

00 0110

d)

11 1111

e)

01 0101

18.

Find the implication that is false.

a)

If 2+3=52+3=5 , then pigs can fly.

b)

If 2+3=62+3=6 , then God exists.

c)

If 2+3=42+3=4 , then 3+3=53+3=5 .

d)

If pigs can fly, then 1+3=51+3=5 .

e)

If 2+3=52+3=5 , then 1+3=41+3=4 .

19.

Let p and q be the statements "The temperature is below zero" and "It is snowing" respectively. Express the statement (pq)(p¬q)(p \lor q) \land (p \to \neg q) in English (in Russian translation).

a)

Either below zero or it is snowing, but if it is below zero, then there is no snow.

b)

Either below zero or it is snowing, and snow is falling only if it is below zero.

c)

Either below zero or it is snowing, and if it is snowing, then it is not below zero.

d)

It is below zero, but there is no snow.

e)

If it is below zero, then there is no snow.

20.

Let p and q be the statements "You are failing the final exam" and "You are passing the course" respectively. Express the statement ¬pq\neg p \leftrightarrow q in English (in Russian translation).

a)

If you are not failing the final exam, then you are passing the course, and vice versa.

b)

If you are not failing the final exam, then you are passing the course, but not vice versa.

c)

You are failing the final exam if and only if you are not passing the course.

d)

You are passing the course only if you are failing the final exam.

e)

If you are passing the course, then you are failing the final exam, and vice versa.

21.

A compound statement is a tautology if

a)

it is always true regardless of the truth values of the statements it contains.

b)

it is always false regardless of the truth values of the statements it contains.

c)

it is always true when each of the statements it contains is true.

d)

it is false only when each of the statements it contains is false.

e)

it is always true when all the statements it contains have the same truth values.

22.

Find the statement that is a tautology: ¬(pq)(¬p¬q)\neg(p\lor q) \leftrightarrow (\neg p \land \neg q) .

a)

¬(pq)(¬p¬q)\neg(p\lor q) \leftrightarrow (\neg p \land \neg q)

b)

(pq)(¬qp)(p\to q) \leftrightarrow (\neg q \lor p)

c)

¬(pq)(pq)\neg(p\lor q) \leftrightarrow (p\lor q)

d)

(pq)(¬qp)(p\to q) \leftrightarrow (\neg q \to p)

e)

(¬p¬q)(qp)(\neg p\lor \neg q) \leftrightarrow (q\to p)

23.

Which of the following logical equivalences is the law of distribution?

a)

p(qr)(pq)(pr)p\land(q\lor r) \Leftrightarrow (p\land q) \lor (p\land r)

b)

p(qr)(pq)rp\lor(q\lor r) \Leftrightarrow (p\lor q) \lor r

c)

pqqpp\lor q \Leftrightarrow q\lor p

d)

p(qr)p(qr)p\land(q\land r) \Leftrightarrow p\land(q\land r)

e)

pqqpp\land q \Leftrightarrow q\land p

24.

Find the statement that is logically equivalent to ¬p¬q\neg p \lor \neg q .

a)

¬(pq)\neg(p\land q)

b)

¬(pq)\neg(p\lor q)

c)

(pq)(qp)(p\to q) \lor (q\to p)

d)

¬(pq)\neg(p\oplus q)

e)

¬pq\neg p \to q

25.

Which implication is logically equivalent to the implication ¬rs\neg r \to s ?

a)

¬sr\neg s \to r

b)

¬s¬r\neg s \to \neg r

c)

r¬sr \to \neg s

d)

srs \land r

e)

s¬rs \to \neg r

26.

A statement is contingent if

a)

it is neither a tautology nor a contradiction.

b)

it is both a tautology and a contradiction.

c)

it is not a contradiction.

d)

it is not a tautology.

e)

it is not logically equivalent to any tautology.

27.

Find the compound statement with propositions p, q, and r that is true when p and q are false, and r is true, and false in all other cases.

a)

¬p¬qr\neg p \land \neg q \land r

b)

pqrp \lor q \lor r

c)

(¬p¬q)r(\neg p \land \neg q) \lor r

d)

(pq)¬r(p \land q) \lor \neg r

e)

(pq)r(p \leftrightarrow q) \land r

28.

Find the compound statement with propositions p, q, and r that is false when p is false, and q and r are true, and true in all other cases.

a)

p¬q¬rp \lor \neg q \lor \neg r

b)

¬pqr\neg p \land q \land r

c)

p¬q¬rp \land \neg q \land \neg r

d)

p¬(qr)p \to \neg(q \land r)

e)

¬pqr\neg p \lor q \lor r

29.

Find the compound statement with propositions p, q, and r that is true when p and q are true, and r is false, and false in all other cases.

a)

pq¬rp \land q \land \neg r

b)

(p¬r)(q¬r)(p \lor \neg r) \land (q \lor \neg r)

c)

(pq)¬r(p \lor q) \land \neg r

d)

r¬(pq)r \to \neg(p \land q)

e)

(pq)r(p \land q) \to r

30.

Let P(x) be the statement "x spends less than three hours every weekday in class," and the domain of discourse for x is the set of students. Express the proposition x¬P(x)\exists x\,\neg P(x) in English.

a)

There is a student who spends no less than three hours every weekday in class.

b)

Every student doesn’t spend more than three hours every weekday in class.

c)

There is a student who doesn’t spend more than three hours every weekday in class.

d)

There is a student who spends less than two hours every weekday in class.

e)

Every student spends no more than six hours every weekday in class.

31.

Let P(x) be the statement "x can speak Kazakh", and Q(x) be the statement "x knows the Delphi programming language", with the domain of discourse being the set of all students at your university. Express the statement "There exists a student at your university who can speak Kazakh but does not know Delphi" using P(x), Q(x), quantifiers, and logical connectives.

a)

x(P(x)¬Q(x))\exists x\,(P(x) \land \neg Q(x))

b)

x(P(x)¬Q(x))\exists x\,(P(x) \lor \neg Q(x))

c)

x(P(x)¬Q(x))\forall x\,(P(x) \to \neg Q(x))

d)

x(Q(x)P(x))\exists x\,(Q(x) \to P(x))

e)

x(¬P(x)Q(x))\forall x\,(\neg P(x) \lor Q(x))

32.

Let S(x,y) be the statement "x + 3y = 3x - y", where the domain of discourse for both variables is the set of integers. Which of the following statements is true?

a)

yxS(x,y)\forall y\,\exists x\, S(x,y)

b)

xy¬S(x,y)\forall x\,\forall y\, \neg S(x,y)

c)

xyS(x,y)\forall x\,\exists y\, S(x,y)

d)

xyS(x,y)\exists x\,\forall y\, S(x,y)

e)

yxS(x,y)\exists y\,\forall x\, S(x,y)

33.

Rewrite the statement ¬yxP(x,y)\neg\exists y\,\forall x\, P(x,y) so that negations appear only within predicates (that is, nowhere outside the quantifier or the expression containing logical connectives).

a)

yx¬P(x,y)\forall y\,\exists x\, \neg P(x,y)

b)

yxP(x,y)\forall y\,\forall x\, P(x,y)

c)

yx¬P(x,y)\exists y\,\forall x\, \neg P(x,y)

d)

xy¬P(x,y)\exists x\,\forall y\, \neg P(x,y)

e)

xyP(x,y)\forall x\,\exists y\, P(x,y)

34.

Rewrite the statement ¬y(P(y)x¬S(x,y))\neg\forall y\,(P(y) \lor \exists x\, \neg S(x,y)) so that negations appear only within predicates (that is, nowhere outside the quantifier or the expression containing logical connectives).

a)

y(¬P(y)xS(x,y))\exists y\,(\neg P(y) \land \forall x\, S(x,y))

b)

y(¬P(y)x¬S(x,y))\exists y\,(\neg P(y) \lor \exists x\, \neg S(x,y))

c)

y(¬P(y)xS(x,y))\forall y\,(\neg P(y) \land \forall x\, S(x,y))

d)

x(S(x,y)¬yP(y))\forall x\,(S(x,y) \land \neg\exists y\, P(y))

e)

y(P(y)x¬S(x,y))\exists y\,(P(y) \land \forall x\, \neg S(x,y))

35.

Rewrite the statement ¬y(xP(x,y)xR(x,y))\neg\exists y\,(\forall x\,P(x,y) \land \exists x\, R(x,y)) so that negations appear only within predicates (that is, nowhere outside the quantifier or expression containing logical connectives).

a)

y(x¬P(x,y)x¬R(x,y))\forall y\,(\exists x\, \neg P(x,y) \lor \forall x\, \neg R(x,y))

b)

y(x¬P(x,y)xR(x,y))\forall y\,(\exists x\, \neg P(x,y) \land \forall x\, R(x,y))

36.

Rewrite the expression ¬y(xz¬P(x,y,z)xz¬S(x,y,z))\lnot\forall y\,(\exists x\,\forall z\,\lnot P(x,y,z) \land \forall x\,\exists z\,\lnot S(x,y,z)) so that the negations appear only within the predicates (that is, no negation is found outside the quantifier or expression with logical connectives).

a)

y(xzP(x,y,z)xzS(x,y,z))\exists y\,(\forall x\,\exists z\,P(x,y,z) \lor \exists x\,\forall z\,S(x,y,z))

b)

y(xzP(x,y,z)xzS(x,y,z))\exists y\,(\forall x\,\exists z\,P(x,y,z) \land \exists x\,\forall z\,S(x,y,z))

c)

y(xzP(x,y,z)xzS(x,y,z))\forall y\,(\forall x\,\exists z\,P(x,y,z) \land \exists x\,\forall z\,S(x,y,z))

d)

x(yz¬P(x,y,z)yzS(x,y,z))\forall x\,(\exists y\,\exists z\,\lnot P(x,y,z) \lor \exists y\,\forall z\,S(x,y,z))

e)

xz(y¬P(x,y,z)yS(x,y,z))\exists x\,\forall z\,(\exists y\,\lnot P(x,y,z) \lor \exists y\,S(x,y,z))

37.

Which of the following statements are true if the domain of discourse for all variables is the set of all integers?

a)

nm(n2+1<m1)\forall n\,\exists m\,(n^2+1<m-1)

b)

n(n21)\forall n\,(n^2\ge 1)

c)

n(n2=8)\exists n\,(n^2=8)

d)

nm(n<m3)\exists n\,\forall m\,(n<m^3)

e)

nm(n>mn2m2)\forall n\,\forall m\,(n>m\lor n^2\le m^2)

38.

Which of the following statements are true if the domain of discourse for each variable is the set of real numbers?

a)

x(x2=8)\exists x\,(x^2=8)

b)

xy(x=y2)\forall x\,\exists y\,(x=y^2)

c)

xy(xy=4)\exists x\,\forall y\,(x\cdot y=4)

d)

xy(x+yy+x)\forall x\,\exists y\,(x+y\ne y+x)

e)

yx(x3=y)\exists y\,\forall x\,(x^3=y)

39.

Find the set of all subsets of the set {1,2}\{1,2\} .

a)

{,{1},{2},{1,2}}\{\varnothing,\{1\},\{2\},\{1,2\}\}

b)

{,{1,2}}\{\varnothing,\{1,2\}\}

c)

{{0},{1},{1,2}}\{\{0\},\{1\},\{1,2\}\}

d)

{{0},{1}}\{\{0\},\{1\}\}

e)

{,{2}}\{\varnothing,\{2\}\}

40.

List the elements of the set {xx\{x\mid x — a negative integer greater than (8)}(-8)\} .

a)

{7,6,5,4,3,2,1}\{-7,-6,-5,-4,-3,-2,-1\}

b)

{8,7,6,5,4,3,2,1}\{-8,-7,-6,-5,-4,-3,-2,-1\}

c)

{9,10,11,}\{-9,-10,-11,\ldots\}

d)

{0,1,2,3,4,5,6,7}\{0,1,2,3,4,5,6,7\}

e)

{9,10,11,12,}\{9,10,11,12,\ldots\}

41.

List the elements of the set {xx\{x\mid x — an integer for which x2=5}x^2=5\} .

a)

\varnothing

b)

{5;  5}\{-\sqrt{5};\;\sqrt{5}\}

c)

{25}\{25\}

d)

{2,1,0,1,2}\{-2,-1,0,1,2\}

e)

{5;5}\{-5;5\}

42.

Find the set of all subsets of the set {0,1}\{0,1\} .

a)

{,{0},{1},{0,1}}\{\varnothing,\{0\},\{1\},\{0,1\}\}

b)

{,{0,1}}\{\varnothing,\{0,1\}\}

c)

{{0},{1},{0,1}}\{\{0\},\{1\},\{0,1\}\}

d)

{{0},{1}}\{\{0\},\{1\}\}

e)

{,{1}}\{\varnothing,\{1\}\}

43.

Let A={1,2,3,4,5}A=\{1,2,3,4,5\} , B={2,4,6,8}B=\{2,4,6,8\} and C={2,4}C=\{2,4\} . Which of the following statements is true?

a)

ABCA\cap B\subseteq C

b)

ACBA-C\subseteq B

c)

ABCA\subseteq B\cup C

d)

BCAB-C\subseteq A

e)

BACB\subseteq A\cap C

44.

Let A={a,b,c,d,e,f}A=\{a,b,c,d,e,f\} , B={b,d,f,g,h,s}B=\{b,d,f,g,h,s\} and C={m,n,o,p,r,d,f}C=\{m,n,o,p,r,d,f\} . Find (AC)B(A\cap C)\cup B .

a)

{b,d,f,g,h,s}\{b,d,f,g,h,s\}

b)

{b,m,n,o,p,r,d,f}\{b,m,n,o,p,r,d,f\}

c)

{a,b,c,d,e,f}\{a,b,c,d,e,f\}

d)

{m,n,o,p,r,d,f}\{m,n,o,p,r,d,f\}

e)

{b,d,e,f,g,h,r}\{b,d,e,f,g,h,r\}

45.

Let A={0,1,2}A=\{0,1,2\} , B={y,z}B=\{y,z\} and C={b,c}C=\{b,c\} . Find C×B×CC\times B\times C .

a)

{(b,y,b),(b,y,c),(b,z,b),(b,z,c),(c,y,b),(c,y,c),(c,z,b),(c,z,c)}\{(b,y,b),(b,y,c),(b,z,b),(b,z,c),(c,y,b),(c,y,c),(c,z,b),(c,z,c)\}

b)

{(0,y,b),(1,y,b),(2,y,b),(0,z,b),(1,z,b),(2,z,c),(0,y,c),(1,y,c),(2,y,c)}\{(0,y,b),(1,y,b),(2,y,b),(0,z,b),(1,z,b),(2,z,c),(0,y,c),(1,y,c),(2,y,c)\}

c)

{(b,y),(b,z),(c,y),(c,z)}\{(b,y),(b,z),(c,y),(c,z)\}

46.

Let U={0,1,2,3,4,5,6,7,8,9}U = \{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\} , A={0,1,3,4,7,8}A = \{0, 1, 3, 4, 7, 8\} , B={0,2,4,6,7,8,9}B = \{0, 2, 4, 6, 7, 8, 9\} . Find ABA \cup \overline{B} .

a)

{5}\{5\}

b)

\emptyset

c)

{0,1,2,4,6,7,8,9}\{0, 1, 2, 4, 6, 7, 8, 9\}

d)

{0,1,2,3,4,6,7,8,9}\{0, 1, 2, 3, 4, 6, 7, 8, 9\}

e)

{0,4,7,8}\{0, 4, 7, 8\}

47.

Let U={0,1,2,3,4,5,6,7,8,9}U = \{0, 1, 2, 3, 4, 5, 6, 7, 8, 9\} , and A={0,1,3,4,7,8}A = \{0, 1, 3, 4, 7, 8\} , B={0,2,4,6,7,8,9}B = \{0, 2, 4, 6, 7, 8, 9\} . Find BAB - A .

a)

{0,1,3,4,5,7,8}\{0, 1, 3, 4, 5, 7, 8\}

b)

{2,6,9}\{2, 6, 9\}

c)

{1,3}\{1, 3\}

d)

{5}\{5\}

e)

\emptyset

48.

Set AA is a strict subset of set BB if

a)

every element of AA is also an element of BB and ABA \ne B

b)

every element of AA is also an element of BB

c)

there exists an element of BB that is not an element of AA

d)

there exists an element of AA that is also an element of BB

e)

BAB - A \ne \emptyset and ABA \cap B \ne \emptyset

49.

Let AA be a set. The set of all subsets of AA (the power set) is

a)

the set of all subsets of AA

b)

the set of all proper subsets of AA

c)

{,A}\{\emptyset, A\}

d)

the set of all finite subsets of AA

e)

the set of all proper subsets of AA and the empty set

50.

Let AA and BB be sets. The Cartesian product of AA and BB is

a)

the set of all ordered pairs (a,b)(a, b) , where aAa \in A and bBb \in B

b)

the set of all ordered pairs (b,a)(b, a) , where aAa \in A and bBb \in B

c)

the set of all two-element sets {a,b}\{a, b\} , where aAa \in A and bBb \in B

d)

{(a,b)(aAbB)(aAbB)}\{(a, b)\mid (a \in A \land b \notin B) \lor (a \notin A \land b \in B)\}

e)

the set of all ordered nn -tuples (a1,a2,,an)(a_1, a_2, \ldots, a_n) , where aiABa_i \in A \cup B for all i=1,2,,ni=1,2,\ldots,n

51.

Let U={1,2,3,4,5,6,7,8}U = \{1, 2, 3, 4, 5, 6, 7, 8\} be the universal set, and A={1,3,4,5,8}A = \{1, 3, 4, 5, 8\} , B={2,4,5,7,8}B = \{2, 4, 5, 7, 8\} . Find the complement of the set AA .

a)

{2,6,7}\{2, 6, 7\}

b)

{1,3,6}\{1, 3, 6\}

c)

{4,5,8}\{4, 5, 8\}

d)

{6}\{6\}

e)

{1,2,3,4,5,7,8}\{1, 2, 3, 4, 5, 7, 8\}

52.

Let U={1,2,3,4,5,6,7,8}U = \{1, 2, 3, 4, 5, 6, 7, 8\} be the universal set, and A={1,3,4,5,8}A = \{1, 3, 4, 5, 8\} , B={2,4,5,7,8}B = \{2, 4, 5, 7, 8\} . Find the complement of the set BB .

a)

{1,3,6}\{1, 3, 6\}

b)

{2,6,7}\{2, 6, 7\}

c)

{4,5,8}\{4, 5, 8\}

d)

{6}\{6\}

e)

{1,2,3,4,5,7,8}\{1, 2, 3, 4, 5, 7, 8\}

53.

Let Ai={3,4,5,,i+2}A_i = \{3, 4, 5, \ldots, i+2\} for i=1,2,3,i = 1, 2, 3, \ldots . Find i=15Ai\displaystyle \bigcup_{i=1}^{5} A_i .

a)

{3,4,5,6,7}\{3, 4, 5, 6, 7\}

b)

{3}\{3\}

c)

{5,6,7}\{5, 6, 7\}

d)

{1,2,3,4,5}\{1, 2, 3, 4, 5\}

e)

{3,4,5}\{3, 4, 5\}

54.

Let Ai={i+3,i+4,i+5,}A_i = \{i+3, i+4, i+5, \ldots\} for i=1,2,3,i = 1, 2, 3, \ldots . Find i=14Ai\displaystyle \bigcap_{i=1}^{4} A_i .

a)

{7,8,9,}\{7, 8, 9, \ldots\}

b)

{4,5,6,}\{4, 5, 6, \ldots\}

c)

{1,2,3,}\{1, 2, 3, \ldots\}

d)

{4,5,6,7}\{4, 5, 6, 7\}

e)

{1,2,3,4}\{1, 2, 3, 4\}

55.

Let ff be a function from AA to BB . Then the codomain of ff is

a)

the set BB

b)

the set AA

c)

{bBaA:f(a)=b}\{b \in B \mid \exists\, a \in A: f(a)=b\}

d)

{aAbB:f(a)=b}\{a \in A \mid \exists\, b \in B: f(a)=b\}

e)

{bBaA:f(a)=b}\{b \in B \mid \nexists\, a \in A: f(a)=b\}

56.

What is the Cartesian product A={a,b}A = \{a, b\} and B={1,2}B = \{1, 2\} ?

a)

{(a,1),(b,1),(a,2),(b,2)}\{(a, 1), (b, 1), (a, 2), (b, 2)\}

b)

{(1,a),(1,b),(2,a),(b,b)}\{(1, a), (1, b), (2, a), (b, b)\}

c)

{(1,1),(2,2),(a,a),(b,b)}\{(1, 1), (2, 2), (a, a), (b, b)\}

d)

{(1,a),(a,a),(1,b),(b,b)}\{(1, a), (a, a), (1, b), (b, b)\}

e)

{(1,1),(a,a),(2,a),(1,b)}\{(1, 1), (a, a), (2, a), (1, b)\}

57.

Let A={a,b,c,d,e,g,h}A = \{a, b, c, d, e, g, h\} and B={0,1,3,4,5}B = \{0, 1, 3, 4, 5\} , where f(a)=3f(a)=3 , f(b)=2f(b)=2 , f(c)=4f(c)=4 , f(d)=0f(d)=0 , f(e)=5f(e)=5 , f(g)=1f(g)=1 , f(h)=3f(h)=3 . Find the image of the set S={c,d,e,g}S = \{c, d, e, g\} .

a)

{0,1,4,5}\{0, 1, 4, 5\}

b)

{4,0,3,1}\{4, 0, 3, 1\}

c)

{0,1,2,3,4,5}\{0, 1, 2, 3, 4, 5\}

d)

{4,0,5,1,3}\{4, 0, 5, 1, 3\}

e)

{1,2,3,4}\{1, 2, 3, 4\}

58.

Which of the following is true for all sets SS and TT ?

a)

(ST)(TS)=(S - T) \cap (T - S) = \emptyset

b)

ST\emptyset \in S \cup T

c)

ST=S - T = \emptyset

d)

ST=S \cup T = \emptyset

e)

STS \cap T \ne \emptyset

59.

Which of the following is true for all sets SS and TT ?

a)

ST=ST\overline{S} \cap \overline{T} = \overline{S \cup T}

b)

ST=STS \cup \overline{T} = \overline{S \cup T}

c)

ST=STS \cap \overline{T} = \overline{S \cap T}

d)

(ST)(TS)=ST(S - T) \cup (T - S) = \overline{S \cup T}

e)

ST=ST\overline{S \cap T} = \overline{S} \cap \overline{T}

60.

Let S={a,{a}}S = \{a, \{a\}\} . Which of the following is not an element of P(S)P(S) (the set of all subsets of SS )?

a)

{,{a}}\{\emptyset, \{a\}\}

b)

\emptyset

c)

{a}\{a\}

d)

{a,{a}}\{a, \{a\}\}

e)

{{a}}\{\{a\}\}

61.

Let S={1}S = \{1\} . Which of the following is an element of P(P(S))P(P(S)) (the set of all subsets of P(S)P(S) )?

a)

{,{1}}\{\emptyset, \{1\}\}

b)

{,1}\{\emptyset, 1\}

c)

{1}\{1\}

d)

{{},1}\{\{\emptyset\}, 1\}

e)

{1,{1}}\{1, \{1\}\}

62.

What is the Cartesian product A={1,2}A = \{1, 2\} and B={a,b}B = \{a, b\} ?

a)

{(1,a),(1,b),(2,a),(2,b)}\{(1, a), (1, b), (2, a), (2, b)\}

b)

{(1,a),(1,b),(2,a),(b,b)}\{(1, a), (1, b), (2, a), (b, b)\}

63.

Let U={0,1,2,3,4,5,6,7,8,9}U=\{0,1,2,3,4,5,6,7,8,9\} be the universal set, A={0,1,3,4,7,8}A=\{0,1,3,4,7,8\} , and B={0,2,4,6,7,8,9}B=\{0,2,4,6,7,8,9\} . Find ABA\cap\overline{B} with respect to UU .

a)

{1,2,3,5,6,9}\{1,2,3,5,6,9\}

b)

\varnothing

c)

{0,1,2,4,6,7,8,9}\{0,1,2,4,6,7,8,9\}

d)

{0,4,7,8}\{0,4,7,8\}

e)

{4,7,8}\{4,7,8\}

64.

Let U={0,1,2,3,4,5,6,7,8,9}U=\{0,1,2,3,4,5,6,7,8,9\} be the universal set, A={0,1,3,4,7,8}A=\{0,1,3,4,7,8\} , B={0,2,4,6,7,8,9}B=\{0,2,4,6,7,8,9\} . Find ABA\cap\overline{B} .

a)

{5}\{5\}

b)

\varnothing

c)

{0,1,2,4,6,7,8,9}\{0,1,2,4,6,7,8,9\}

d)

{0,4,7,8}\{0,4,7,8\}

e)

{1,2,3,5,6,9}\{1,2,3,5,6,9\}

65.

The function f ⁣: ⁣ABf\!:\!A\to B is called injective (one-to-one) if …

a)

if and only if f(x)=f(y)f(x)=f(y) implies x=yx=y for all xx and yy in the domain of ff

b)

if and only if for every element bBb\in B there exists an element aAa\in A such that f(a)=bf(a)=b

c)

if f(x)<f(y)f(x)<f(y) whenever x<yx<y , and both xx and yy are in the domain of ff

d)

if f(x)>f(y)f(x)>f(y) whenever x<yx<y , and both xx and yy are in the domain of ff

e)

if and only if for every element aAa\in A there exists an element bBb\in B such that f(a)=bf(a)=b

66.

A function f ⁣: ⁣ABf\!:\!A\to B is called surjective if …

a)

if and only if for every element bBb\in B there exists an element aAa\in A such that f(a)=bf(a)=b

b)

if and only if for every element aAa\in A there exists an element bBb\in B such that f(a)=bf(a)=b

c)

if f(x)<f(y)f(x)<f(y) whenever x<yx<y , and both xx and yy are in the domain of ff

d)

if f(x)>f(y)f(x)>f(y) whenever x<yx<y , and both xx and yy are in the domain of ff

e)

if and only if f(x)=f(y)f(x)=f(y) implies x=yx=y for all xx and yy in the domain of ff

67.

The function ff is a one-to-one correspondence, or bijection, if …

a)

it is both injective and surjective

b)

it is either injective or surjective

c)

it is injective but not surjective

d)

it is surjective but not injective

e)

the codomain and the image ff coincide

68.

Let ff and gg be functions from the set of integers to the set of integers, defined by f(x)=3x4f(x)=3x-4 and g(x)=4x3g(x)=4x-3 . Find the composition gfg\circ f .

a)

12x1912x-19

b)

12x1312x-13

c)

7x77x-7

d)

7x127x-12

e)

x+1x+1

69.

Find 1,01\lceil 1{,}01 \rceil .

a)

2

b)

1

c)

1.01

d)

0

e)

1.02

70.

Find 2,34\lceil -2{,}34 \rceil .

a)

− 2

b)

− 3

c)

−2.34

d)

0

e)

− 1

71.

Find 13+13+13\lceil \tfrac{1}{3} \rceil + \lfloor \tfrac{1}{3} \rfloor + \tfrac{1}{3} .

a)

2

b)

1

c)

1/3

d)

2/3

e)

0

72.

Which of the following functions from {a,b,c,d}\{a,b,c,d\} is one-to-one?

a)

f(a) = d, f(b) = c, f(c) = b, f(d) = a

b)

f(a) = c, f(b) = d, f(c) = b, f(d) = b

c)

f(a) = a, f(b) = b, f(c) = d, f(d) = d

d)

f(a) = a, f(b) = a, f(c) = a, f(d) = a

e)

f(a) = d, f(b) = a, f(c) = a, f(d) = d

73.

Which of the following functions from R\mathbb{R} to R\mathbb{R} is a bijection?

a)

f(x)=6x+5f(x)=-6x+5

b)

f(x)=4x2+9f(x)=-4x^2+9

c)

f(x)=x21x4+1f(x)=\dfrac{x^2-1}{x^4+1}

d)

f(x)=1x6+1f(x)=\dfrac{1}{x^6+1}

e)

f(x)=x+5x+10f(x)=\dfrac{x+5}{x+10}

74.

Let S={3,0,3,7}S=\{-3,0,3,7\} . Find f(S)f(S) , if f(x)=x2+23f(x)=\left\lceil\dfrac{x^2+2}{3}\right\rceil .

a)

{1,4,17}\{1,4,17\}

b)

{23,23,17}\left\{\dfrac{2}{3},\dfrac{2}{3},17\right\}

c)

{0,3,17}\{0,3,17\}

d)

{2,0,3,16}\{-2,0,3,16\}

e)

{3,0,3,7}\{-3,0,3,7\}

75.

Find fgf\circ g , if f(x)=x3+2f(x)=x^3+2 and g(x)=5x3g(x)=5x-3 are functions from R\mathbb{R} to R\mathbb{R} .

a)

(5x3)3+2(5x-3)^3+2

b)

5x3+75x^3+7

c)

x3+5x1x^3+5x-1

d)

(x3+2)(5x3)(x^3+2)(5x-3)

e)

x3+25x3\dfrac{x^3+2}{5x-3}

76.

Find 2343\left\lceil \dfrac{2}{3}-\left\lfloor \dfrac{4}{3} \right\rfloor \right\rceil .

a)

0

b)

− 2/3

c)

2

d)

1

e)

3

77.

Find 3234\left\lceil \dfrac{3}{2}-\left\lfloor \dfrac{3}{4} \right\rfloor \right\rceil .

a)

− 2/3

b)

4

c)

1

d)

2

e)

3

78.

Let f ⁣: ⁣ZRf\!:\!\mathbb{Z}\to\mathbb{R} be defined by the rule f(n)=2n3f(n)=2n-3 . What is the value of the image ff ?

a)

the set of odd integers

b)

the set of even integers

c)

the set of real numbers

d)

the set of natural numbers {0,1,2,3,}\{0,1,2,3,\dots\}

79.

Let f and g be functions from R to R, defined by the rules f(x)=[x2]f(x)=[\frac{x}{2}] and g(x)=[52x3]g(x)=[\frac{5-2x}{3}] . Find (fg)(5)(f\circ g)(5) .

a)

-1

b)

1

c)

0

d)

2

e)

5

80.

Let f and g be functions from R to R, defined by the rules f(x)=[2x+32]f(x)=[\frac{2x+3}{2}] and g(x)=[52x3]g(x)=[\frac{5-2x}{3}] . Find (fg)(5)(f\circ g)(5) .

a)

0

b)

1

c)

-1

d)

3

e)

5

81.

Let f ⁣:NNf\!: N\to N be defined by the rule f(x)={n2,n<8 n+1,n5f(x)=\begin{cases} n^2, & n<8 \ n+1, & n\ge 5 \end{cases} . Which of the following statements is true?

a)

f is not a function because f(6)f(6) is equal to both 3636 and 77

b)

f is a function

c)

f is not a function because f(3)=9f(3)=9 and f(8)=9f(8)=9

d)

none of these

e)

f is not a function because there is no natural number n such that f(n)=2f(n)=2

82.

Find the functions f ⁣:RRf\!: R\to R and g ⁣:RRg\!: R\to R such that fgf\circ g has the rule (fg)(x)=[x2+8.2](f\circ g)(x)=[x^2+8.2] .

a)

g(x)=x2+8.2g(x)=x^2+8.2 , f(x)=[x]f(x)=[x]

b)

g(x)=[x]+8.2g(x)=[x]+8.2 , f(x)=x2f(x)=x^2

c)

g(x)=[x]g(x)=[x] , f(x)=x2+8f(x)=x^2+8

d)

g(x)=xg(x)=x , f(x)=[x]+8.2f(x)=[x]+8.2

e)

g(x)=x2g(x)=x^2 , f(x)=[x]+7.2f(x)=[x]+7.2

83.

Let f ⁣:ABf\!: A\to B , where B={0,1,4,9}B=\{0,1,4,9\} , and ff is defined by the rule f(x)=x2f(x)=x^2 . For which set A is the function correctly defined as a mapping from A to B and is one-to-one?

a)

{1,2,3}\{1,2,3\}

b)

{2,1,0,2}\{-2,-1,0,2\}

c)

{3,1,0,2,3}\{-3,-1,0,2,3\}

d)

{0,1,4,9}\{0,1,4,9\}

e)

{1,0,1,2}\{-1,0,1,2\}

84.

Let the function f ⁣:A{1,2,3}f\!: A\to\{1,2,3\} be defined by the rule f(n)=[2n13]f(n)=[\frac{2n-1}{3}] . On which domain is the function a bijection (1–1 and surjective)?

a)

{3,4,6}\{3,4,6\}

b)

{2,3,4,5}\{2,3,4,5\}

c)

{3,5}\{3,5\}

d)

{2,3,4}\{2,3,4\}

e)

{2,3}\{2,3\}

85.

Let the function f ⁣:AZf\!: A\to Z be defined by the rule f(n)=[2n13]f(n)=[\frac{2n-1}{3}] . On which domain A is the function an injection (1–1)?

a)

{1,1,3,4}\{-1,1,3,4\}

b)

{1,0,1,3}\{-1,0,1,3\}

c)

{2,1,0,1}\{-2,-1,0,1\}

d)

{1,2,3,4}\{1,2,3,4\}

e)

{2,3,4}\{2,3,4\}

86.

Find [1.99][1.99] .

a)

1

b)

2

c)

1.98

d)

0

e)

1.99

87.

Find the functions f ⁣:RRf\!: R\to R and g ⁣:RRg\!: R\to R such that fgf\circ g has the rule (fg)(x)=[x2+7.1](f\circ g)(x)=[x^2+7.1] .

a)

g(x)=x2+7.1g(x)=x^2+7.1 , f(x)=[x]f(x)=[x]

b)

g(x)=[x]+7.1g(x)=[x]+7.1 , f(x)=x2f(x)=x^2

c)

g(x)=[x]g(x)=[x] , f(x)=x2+7.1f(x)=x^2+7.1

d)

g(x)=xg(x)=x , f(x)=[x]+7.1f(x)=[x]+7.1

e)

g(x)=x2g(x)=x^2 , f(x)=[x]+7.1f(x)=[x]+7.1

88.

Let f ⁣:RRf\!: R\to R , where f(x)=[3x12]f(x)=[\frac{3x-1}{2}] . Find the set {x: f(x)=1}\{x:\ f(x)=1\} .

a)

[1,53][1,\tfrac{5}{3}]

b)

(0,2)(0,2)

c)

[23,3][\tfrac{2}{3},3]

d)

none of these

e)

(0,1)(0,1)

89.

Let f ⁣:RRf\!: R\to R , where f(x)=[3x12]f(x)=[\frac{3x-1}{2}] . Find the set {x: f(x)=2}\{x:\ f(x)=2\} .

a)

[53,73][\tfrac{5}{3},\tfrac{7}{3}]

b)

(0,3)(0,3)

c)

[23,3][\tfrac{2}{3},3]

d)

none of these

e)

[53,73][\tfrac{5}{3},\tfrac{7}{3}]

90.

Let f ⁣:ARf\!: A\to R be defined by the rule f(x)=1x3xf(x)=\frac{1}{x^3-x} . Which of the following sets can be the domain of definition A?

a)

R{1,0,1}R-\{-1,0,1\}

b)

R{0,1}R-\{0,1\}

c)

R{1,1}R-\{-1,1\}

d)

none of these

e)

RR

91.

Which statement is true about the function f(x)=2xf(x)=2x , considered as a mapping from the set of integers Z to Z?

a)

f is injective but not surjective

b)

f is surjective but not injective

c)

f is both injective and surjective

d)

f is neither injective nor surjective

e)

f is a one-to-one correspondence

92.

Which statement is true about the function f(x)=[x]+1f(x)=[x]+1 from the set of real numbers R to the set of integers Z?

a)

f is surjective but not injective

b)

f is injective but not surjective

c)

f is both injective and surjective

d)

f is neither injective nor surjective

93.

Function f: {0,1,2,3,...} → B, where f(n)=n12f(n)=\left\lfloor\frac{n-1}{2}\right\rfloor , is surjective if the codomain B is which of the following sets?

a)

{-1,0,1,2,3,...}

b)

{0,1,2,3}

c)

R (the set of all real numbers)

d)

{1/2, 3/2, 5/2, 7/2, ...}

e)

{0,1,2,3,...}

94.

Suppose the function f: A → {0,1,2,3} is defined by the rule f(n)=2n13f(n)=\left\lfloor\frac{2n-1}{3}\right\rfloor . For which domain A is the function surjective onto the codomain {0,1,2,3}?

a)

{1,3,4,6}

b)

{1,3,5}

c)

{1,2,3,5}

d)

{2,3,5,6}

e)

{2,3,4,5,6}

95.

Function f: A → R, where f(x)=(x)2f(x)=(|x|)^2 , is injective if the domain A is which of these sets?

a)

{-π, π}

b)

{x ∈ R: −2 < x < 2}

c)

Z (the set of all integers {...,−3,−2,−1,0,1,2,3,...})

d)

{1/2, 3/4, −2}

e)

{−5,5}

96.

In a college, there are 20 students majoring in mathematics and 40 students majoring in computer science. How many ways can one representative be chosen who is either a mathematician or a computer science specialist?

a)

60

b)

800

97.

In a college, there are 20 students majoring in mathematics and 40 students majoring in computer science. In how many ways can we choose two representatives such that one is a mathematician and the other is a computer science specialist?

a)

800

b)

60

c)

20

d)

40

e)

80

98.

How many strings of five English letters exist that start with B, if the letters can be repeated?

a)

26426^4

b)

25·24·23·22

c)

26·25·24·23

d)

26526^5

e)

26·25·24·23·22

99.

If set A has 3 elements, how many elements are in the Cartesian product A × A × A?

a)

27

b)

3

c)

9

d)

12

e)

6

100.

Let A = {a, b, c, d, e, f}. How many 4-combinations of the set A exist?

a)

15

b)

360

c)

60

d)

30

e)

120

101.

Find C(8, 5).

a)

56

b)

70

c)

35

d)

5

e)

840

102.

Find the coefficient of x7y5x^7y^5 in (x+y)12(x+y)^{12} .

a)

792

b)

495

c)

924

d)

144

e)

120

103.

Find the coefficient of x4y2x^4 y^2 in (3x5y)6(3x-5y)^6 .

a)

35533^5\cdot 5^3

b)

15

c)

3533\cdot 5^3

d)

34523^4\cdot 5^2

e)

15-15

104.

How many different strings can be formed from the letters of the word STATISTICS, using all the letters?

a)

50400

b)

100800

c)

10!10!

d)

C(10,3)C(10,3)

e)

720

105.

In the croissant shop, there are regular croissants, cherry croissants, chocolate croissants, almond croissants, apple croissants, and broccoli croissants. How many ways can you choose a dozen croissants?

a)

6188

b)

12376

c)

924

d)

210

e)

3003

106.

How many ways can you choose eight coins from a piggy bank containing 100 identical pennies and 80 identical nickels?

a)

9

b)

C(100,8)+C(80,8)C(100,8)+C(80,8)

c)

P(100,80)P(100,80)

d)

36

e)

100!80!8!\dfrac{100!}{80!\cdot 8!}

107.

Find P(8,5)P(8,5) .

a)

6720

b)

336

c)

56

108.

Find C(8,4)C(8,4) .

a)

70

b)

1680

c)

35

d)

140

e)

840

109.

In the dormitory, there are students — 12 second-year students, 8 third-year students, and 20 senior students. Which of the following is equal to the number of ways to form a committee of five students from the same course?

a)

C(12,5)+C(8,5)+C(20,5)C(12,5)+C(8,5)+C(20,5)

b)

C(40,5)3\dfrac{C(40,5)}{3}

c)

P(12,5)+P(8,5)+P(20,5)P(12,5)+P(8,5)+P(20,5)

d)

P(12,5)P(8,5)P(20,5)P(12,5)\cdot P(8,5)\cdot P(20,5)

e)

C(12,5)C(8,5)C(20,5)C(12,5)\cdot C(8,5)\cdot C(20,5)

110.

The class consists of 12 women and 10 men. How many ways can a committee of size six be formed if there are more women than men in the committee?

a)

C(12,4)C(10,2)+C(12,5)C(10,1)+C(12,6)C(10,0)C(12,4)\cdot C(10,2)+C(12,5)\cdot C(10,1)+C(12,6)\cdot C(10,0)

b)

C(12,4)(10,2)C(12,4)\cdot (10,2)

c)

C(12,4)(10,2)C(12,5)(10,1)C(12,6)(10,0)C(12,4)\cdot (10,2)\cdot C(12,5)\cdot (10,1)\cdot C(12,6)\cdot (10,0)

d)

C(22,6)[C(10,6)(12,0)C(10,5)(12,1)C(10,4)(12,2)]C(22,6)-[C(10,6)\cdot (12,0)-C(10,5)\cdot (12,1)-C(10,4)\cdot (12,2)]

e)

C(12,4)+(10,2)C(12,4)+(10,2)

111.

How many different car license plates are available if the license plate pattern consists of three letters, which cannot be repeated, followed by three digits, which can be repeated? (Assume that all letters are uppercase and the digits are 0, 1, …, 9.)

a)

26252410326\cdot 25\cdot 24\cdot 10^3

b)

C(26,3)103C(26,3)\cdot 10^3

c)

26310326^3\cdot 10^3

d)

C(26,3)C(10,3)C(26,3)\cdot C(10,3)

e)

262524101126\cdot 25\cdot 24\cdot 10\cdot 1\cdot 1

112.

The class consists of 12 women and 10 men. How many ways can a committee of size six be formed if the committee has an equal number of women and men?

a)

C(12,3)C(10,3)C(12,3)\cdot C(10,3)

b)

C(12,3)+(10,3)C(12,3)+(10,3)

c)

C(22,6)(12,6)C(10,6)C(22,6)-(12,6)-C(10,6)

d)

C(22,6)C(22,6)

113.

If you use the Caesar cipher with a shift of 3, how will the word "CIPHER" be encrypted?

a)

FLSKHU

b)

FMKSHU

c)

EKRJGT

d)

BLOGDQ

e)

DJQIFS

114.

The word "HELLO" is encrypted using the Caesar cipher as "KHOOR". What key was used?

a)

3

b)

2

c)

1

d)

4

e)

5

115.

What word, encrypted with Caesar cipher using a key of 3, gives "WRGDB"?

a)

TODAY

b)

MAKER

c)

CODED

d)

LESSON

e)

TERMS

116.

What is the plaintext corresponding to the ciphertext "PROTO" when using the Vigenère cipher with the keyword "HELLO"?

a)

INDIA

b)

WORLD

c)

AMERICA

d)

TABLE

e)

ITEMS

117.

What is the ciphertext for the string "INDIA" when using the Vigenère cipher with the keyword "HELLO"?

a)

PROTO

b)

PARTO

c)

RAPYO

d)

RAPTO

e)

TOPRO

118.

The quotient and remainder when dividing -1 by 3 are:

a)

-1 and 2

b)

1 and 2

c)

-1 and -2

d)

-1 and 1

e)

2 and 1

119.

Which positive integer less than 21 is coprime to 21?

a)

19

b)

18

c)

21

d)

24

e)

22

120.

Find the quotient q and the remainder r when dividing -11 by 3.

a)

q=-4 and r=1

b)

q=1 and r=4

c)

q=11 and r=0

d)

q=-3 and r=4

e)

q=1 and r=-3

121.

Find the quotient q and the remainder r when dividing 547 by 4.

a)

q=136 and r=3

b)

q=3 and r=136

c)

q=136 and r=0

d)

q=3 and r=130

e)

q=136 and r=-3

122.

Find the quotient q and the remainder r when dividing -111 by 11.

a)

q=-11 and r=10

b)

q=11 and r=10

c)

q=111 and r=0

d)

q=-10 and r=11

e)

q=16 and r=-3

123.

Consider the relation R = {(1, 1), (1, 2), (2, 1), (3, 2)} on the set {1, 2, 3} in the form of a matrix (the elements of the set are listed in ascending order).

a)

( 1 1 0 )\n( 1 0 0 )\n( 0 1 0 )

b)

( 1 1 0 )\n( 1 1 1 )\n( 0 0 1 )

c)

( 0 1 1 )\n( 1 0 0 )\n( 1 1 0 )

d)

( 1 0 1 )\n( 0 0 0 )\n( 1 0 1 )

e)

( 1 1 1 )\n( 1 0 1 )\n( 0 0 0 )

124.

List the ordered pairs in relation R from A = {0, 1, 2, 3, 4} to B = {0, 1, 2, 3}, where (a, b) ∈ R if and only if a + b = 3.

a)

{(0, 3), (1, 2), (2, 1), (3, 0)}

b)

{(0, 3), (1, 2), (2, 1), (3, 0), (4, -1)}

c)

{(0, 0), (0, 1), (0, 2), (0, 3), (1, 1), (1, 2), (1, 3), (2, 1), (2, 2), (2, 3)}

d)

{(0, 0), (1, 1), (2, 2), (3, 3)}

e)

{(0, 1), (0, 2), (0, 3), (1, 2), (1, 3), (2, 3), (3, 4)}

125.

Let R1 = {(1, 1), (1, 2), (2, 2), (2, 3), (3, 3), (3, 4)} and R2 = {(1, 2), (2, 1), (2, 4), (3, 1), (3, 2), (3, 4)} — relations from {1, 2, 3} to {1, 2, 3, 4}. Find R1 ∩ R2.

a)

{(1, 2), (3, 4)}

b)

{(1, 1), (1, 2), (2, 1), (2, 2), (2, 4), (3, 1), (3, 2), (3, 3), (3, 4)}

c)

{(1, 1), (2, 2), (3, 3)}

d)

{(1, 2), (1, 2), (2, 4), (3, 1), (3, 2)}

e)

{(1, 1), (1, 2), (2, 2), (3, 3), (3, 4)}

126.

Let R = {(a, b), (b, c), (c, a), (d, b)} and S = {(a, a), (b, b), (c, c), (d, a)} — relations on A = {a, b, c, d}. Find S ∘ R.

a)

{(a, b), (b, c), (c, a), (d, b)}

b)

{(a, a), (b, b), (c, c), (d, a)}

c)

{(a, a), (b, a), (c, a), (c, b), (d, b), (d, c)}

d)

{(a, a), (a, b), (b, b), (b, c), (c, a), (c, c), (d, a), (d, b)}

e)

{(b, a), (c, b), (a, c), (b, d), (a, d)}

127.

Consider the relation R = {(1, 1), (1, 2), (2, 1), (2, 3), (3, 2)} on the set {1, 2, 3} in the form of a matrix (the elements of the set are listed in ascending order).

a)

( 1 1 0 )\n( 1 0 1 )\n( 0 1 0 )

b)

( 1 1 0 )\n( 1 1 1 )\n( 0 0 1 )

128.

List the ordered pairs in the relation on {1, 2, 3}, corresponding to the matrix\n( 1 0 1 )\n( 0 1 1 )\n( 1 1 0 )\n(where the rows and columns correspond to integers in ascending order).

a)

{(1, 1), (1, 3), (2, 2), (2, 3), (3, 1), (3, 2)}

b)

{(1, 2), (1, 3), (2, 1), (2, 3), (3, 2), (3, 3)}

c)

{(1, 2), (2, 1), (3, 3)}

d)

{(1, 1), (2, 2), (3, 1), (3, 2), (1, 2), (1, 3)}

e)

{(1, 1), (1, 3), (3, 1), (3, 3)}

129.

List the triples in relation {(a, b, c) | a, b, and c are positive integers, where 1 < a + b < c ≤ 4}.

a)

{(1, 1, 3), (1, 1, 4), (1, 2, 4), (2, 1, 4)}

b)

{(0, 2, 3), (0, 2, 4), (2, 0, 3), (2, 0, 4), (1, 1, 3), (1, 1, 4), (0, 3, 4), (3, 0, 4)}

c)

{(1, 2, 4), (0, 1, 3), (0, 2, 4), (0, 3, 4)}

d)

{(0, 1, 2), (0, 1, 3), (0, 1, 4), (0, 2, 3), (0, 2, 4), (1, 0, 2), (1, 0, 3), (1, 0, 4)}

e)

{(1, 2, 1), (0, 1, 3), (1, 1, 2), (2, 1, 1), (1, 0, 3), (3, 0, 1)}

130.

A relation S on a set B is called antisymmetric if

a)

both (a, b) and (b, a) belong to S only if a = b for all a, b ∈ B

b)

(b, c) ∈ S whenever c, b ∈ S for all b, c ∈ B

c)

(b, b) ∈ S for every element b ∈ B

d)

whenever (b, c) ∈ S and (c, a) ∈ S, then (b, a) ∈ S for all a, b, c ∈ B

e)

it is not symmetric

131.

Let R = {(1, 1), (2, 1), (2, 3), (3, 1), (4, 2), (4, 3)}. Find R2R^2 .

a)

{(1, 1), (2, 1), (3, 1), (4, 1), (4, 3)}

b)

{(1, 1), (2, 1), (3, 1), (4, 1)}

c)

{(2, 1), (4, 1), (3, 1), (2, 3)}

d)

{(1, 1), (2, 1), (2, 3), (3, 1), (4, 2), (4, 3)}

132.

Let R = {(a,b)ab}\{(a, b) \mid a \le b\} — a relation on the set of integers. The relation R

a)

is reflexive, antisymmetric, and transitive

b)

is reflexive, symmetric, and transitive

c)

is antisymmetric and symmetric

d)

is non-reflexive and non-transitive

e)

is non-antisymmetric and non-symmetric

133.

Let R = {(1,2),(2,3),(3,4),(4,1),(4,2)}\{(1, 2), (2, 3), (3, 4), (4, 1), (4, 2)\} . Find R3R^{3} .

a)

{(1,4),(2,1),(2,2),(3,2),(3,3),(4,3),(4,4)}\{(1, 4), (2, 1), (2, 2), (3, 2), (3, 3), (4, 3), (4, 4)\}

b)

{(1,3),(2,4),(3,1),(3,2),(4,2),(4,3)}\{(1, 3), (2, 4), (3, 1), (3, 2), (4, 2), (4, 3)\}

c)

{(1,2),(2,3),(3,4),(4,1),(4,2)}\{(1, 2), (2, 3), (3, 4), (4, 1), (4, 2)\}

d)

{(1,1),(2,2),(3,3),(4,4)}\{(1, 1), (2, 2), (3, 3), (4, 4)\}

e)

{(1,4),(2,3),(3,3),(4,3)}\{(1, 4), (2, 3), (3, 3), (4, 3)\}

134.

Let R1={(a,b)a=b+1}R_1 = \{(a, b) \mid a = b + 1\} and R2={(a,b)a+b3}R_2 = \{(a, b) \mid a + b \le 3\} be relations on {0,1,2,3}\{0, 1, 2, 3\} . Find R1R2R_1 - R_2 .

a)

{(3,2)}\{(3, 2)\}

b)

{(1,0),(2,1)}\{(1, 0), (2, 1)\}

c)

{(0,0),(0,2),(1,2),(2,0),(3,0)}\{(0, 0), (0, 2), (1, 2), (2, 0), (3, 0)\}

d)

{(1,1),(2,0)}\{(1, 1), (2, 0)\}

e)

{(2,1)}\{(2, 1)\}

135.

Consider the relation R={(0,1),(0,3),(1,2),(1,3),(2,0),(2,1),(2,3),(3,2),(3,3)}R=\{(0, 1), (0, 3), (1, 2), (1, 3), (2, 0), (2, 1), (2, 3), (3, 2), (3, 3)\} on {0,1,2,3}\{0, 1, 2, 3\} in the form of a matrix (the elements of the set are listed in ascending order).

a)

(0 1 0 1; 0 0 1 1; 1 1 0 1; 0 0 1 1)

b)

(0 0 1 0; 1 0 1 0; 0 1 0 1; 1 1 1 1)

c)

(1 0 1 0; 0 1 1 0; 1 1 0 1; 0 1 1 0)

d)

(0 0 0 0; 1 1 1 1; 0 0 0 0; 1 1 1 1)

136.

List the ordered pairs of the relation on {1,2,3,4}\{1, 2, 3, 4\} , corresponding to the matrix (rows and columns correspond to the numbers in ascending order): (0 0 1 1; 1 1 0 0; 1 0 1 0; 1 0 0 0).

a)

{(1,3),(1,4),(2,1),(2,2),(3,1),(3,3),(4,1)}\{(1, 3), (1, 4), (2, 1), (2, 2), (3, 1), (3, 3), (4, 1)\}

b)

{(1,2),(1,3),(1,4),(2,2),(3,1),(3,3),(4,1)}\{(1, 2), (1, 3), (1, 4), (2, 2), (3, 1), (3, 3), (4, 1)\}

c)

{(0,2),(0,3),(1,0),(1,2),(2,0),(2,2),(3,0)}\{(0, 2), (0, 3), (1, 0), (1, 2), (2, 0), (2, 2), (3, 0)\}

d)

{(0,1),(0,2),(0,3),(1,1),(2,0),(2,2),(3,0)}\{(0, 1), (0, 2), (0, 3), (1, 1), (2, 0), (2, 2), (3, 0)\}

e)

{(0,0),(1,1),(1,2),(2,1),(2,2),(2,4),(3,1),(3,2),(4,2)}\{(0, 0), (1, 1), (1, 2), (2, 1), (2, 2), (2, 4), (3, 1), (3, 2), (4, 2)\}

137.

Which of the following relations on {0,1,2,3,4}\{0, 1, 2, 3, 4\} are equivalence relations?

a)

{(0,0),(0,3),(1,1),(2,2),(2,4),(3,0),(3,3),(4,2),(4,4)}\{(0, 0), (0, 3), (1, 1), (2, 2), (2, 4), (3, 0), (3, 3), (4, 2), (4, 4)\}

b)

{(0,0),(0,1),(1,0),(2,2),(2,4),(3,3),(4,2)}\{(0, 0), (0, 1), (1, 0), (2, 2), (2, 4), (3, 3), (4, 2)\}

c)

{(1,2),(2,3),(1,3),(3,4),(1,4),(4,4)}\{(1, 2), (2, 3), (1, 3), (3, 4), (1, 4), (4, 4)\}

d)

{(0,0),(1,1),(1,3),(2,2),(3,2),(3,3),(4,4)}\{(0, 0), (1, 1), (1, 3), (2, 2), (3, 2), (3, 3), (4, 4)\}

e)

{(0,0),(0,1),(1,2),(0,2),(2,1),(3,4),(4,1),(3,1)}\{(0, 0), (0, 1), (1, 2), (0, 2), (2, 1), (3, 4), (4, 1), (3, 1)\}

138.

Which of the following are partially ordered sets (posets)?

a)

(Z,)(\mathbb{Z}, \ge)

b)

(Z,)(\mathbb{Z}, \neq)

c)

(Z,<)(\mathbb{Z}, <)

d)

(Z+,>)(\mathbb{Z}^{+}, >)

e)

(Z,>)(\mathbb{Z}, >)

139.

Find two incomparable elements in the set (P({0,1}),)(P(\{0, 1\}), \subseteq) .

a)

{0}\{0\} and {1}\{1\}

b)

\varnothing and {0,1}\{0, 1\}

c)

\varnothing and {1}\{1\}

d)

{0}\{0\} and {0,1}\{0, 1\}

e)

{1}\{1\} and {0,1}\{0, 1\}

140.

Let S={0,1,2,3}S = \{0, 1, 2, 3\} . With respect to the lexicographic order based on the usual "less than" relation, find all pairs from S×SS \times S that are less than (1,3)(1, 3) .

a)

{(0,0),(0,1),(0,2),(0,3),(1,0),(1,1),(1,2)}\{(0, 0), (0, 1), (0, 2), (0, 3), (1, 0), (1, 1), (1, 2)\}

b)

{(0,0),(1,1),(1,2),(2,0),(2,1),(0,1),(0,2),(0,3)}\{(0, 0), (1, 1), (1, 2), (2, 0), (2, 1), (0, 1), (0, 2), (0, 3)\}

c)

{(2,0),(2,1),(2,2),(3,0),(1,0),(1,1),(1,2),(0,0),(0,3)}\{(2, 0), (2, 1), (2, 2), (3, 0), (1, 0), (1, 1), (1, 2), (0, 0), (0, 3)\}

141.

Find the maximum elements of the partially ordered set ({1, 2, 3, 5, 6, 15, 30, 45}, |).

a)

30, 45

b)

45

c)

15, 30, 45

d)

1

e)

2, 3, 5

142.

Find the minimal elements of the partially ordered set ({2, 3, 5, 6, 9, 30, 45}, |).

a)

2, 3, 5

b)

30, 45

c)

2, 3

d)

5, 6

e)

2

143.

Find the lexicographic order of the following strings made up of lowercase English letters: computer, computing, comma, competent, computable.

a)

comma, competent, computable, computer, computing

b)

computer, computable, computing, comma, competent

c)

comma, computable, computer, computing, competent

d)

computer, competent, comma, computing, computable

e)

computable, computer, computing, competent, comma

144.

Which of the following sets is the equivalence class of the number 1 modulo 3?

a)

{..., −5, −2, 1, 4, 7, ...}

b)

{..., −6, −3, 0, 3, 6, ...}

c)

{..., −4, −1, 2, 5, 8, ...}

d)

{..., −7, −4, −1, 1, 4, 7, ...}

e)

{..., −9, −5, 1, 5, 9, ...}

145.

Let S = {1, 2, 3, 4, 5, 6, 7, 8}. Which of the following collections of sets forms a partition of the set S?

a)

{1, 4, 8}, {3, 5, 7}, {2, 6}

b)

{1, 2, 3, 4}, {5, 6, 7}, {7, 8}

c)

{1, 2}, {3, 4, 5}, {4, 6, 7, 8}

d)

{1, 2, 3}, {2, 4, 6}, {5, 7, 8}

e)

{1, 2, 3, 7}, {3, 4, 5, 6, 8}

146.

Find the largest element of the partially ordered set ({2, 4, 5, 6, 10, 24, 50}, |).

a)

there is no largest element

b)

50

c)

24, 50

d)

4,6,10

e)

2