Crowdly

Add to Chrome

Universities
virt.ldubgd.edu.ua
Дискретна математика 1 семестр

Дискретна математика 1 семестр

Looking for Дискретна математика 1 семестр test answers and solutions? Browse our comprehensive collection of verified answers for Дискретна математика 1 семестр at virt.ldubgd.edu.ua.

Get instant access to accurate answers and detailed explanations for your course questions. Our community-driven platform helps students succeed!

Привести до випередженої нормальної форми формулу $\forall x \overline{ \exists y (P(x)\to Q(y))}$ \forall x \overline{ \exists y (P(x)\to Q(y))}

$\forall x \forall y(P(x)\vee \overline{Q}(y))$ \forall x \forall y(P(x)\vee \overline{Q}(y))

$\exists x \exists y( \overline{P}(x)\vee Q(y))$ \exists x \exists y( \overline{P}(x)\vee Q(y))

$\forall x \forall y(P(x)\wedge \overline{Q}(y))$ \forall x \forall y(P(x)\wedge \overline{Q}(y))

$\exists x \forall y(\overline{P}(x)\vee Q(y))$ \exists x \forall y(\overline{P}(x)\vee Q(y))

$\forall x \exists y(P(x)\vee \overline{Q}(y))$ \forall x \exists y(P(x)\vee \overline{Q}(y))

$\forall x \exists y(P(x)\wedge \overline{Q}(y))$ \forall x \exists y(P(x)\wedge \overline{Q}(y))

View this question

Знайти формули, які записано у випередженій нормальній формі.

$\exists z \forall y \exists x (\overline{Q}(x,z,y)\to R(x))$ \exists z \forall y \exists x (\overline{Q}(x,z,y)\to R(x)) .

$\forall x (\forall y \exists z P(z,y))\vee R(x)$ \forall x (\forall y \exists z P(z,y))\vee R(x) .

$\forall x \forall y \exists z (P(z,y)\vee R(x))$ \forall x \forall y \exists z (P(z,y)\vee R(x)) .

$\exists z Q(z,y) \sim \forall y\overline{R}(y)$ \exists z Q(z,y) \sim \forall y\overline{R}(y) .

$\forall z \forall y (P(z,y)\wedge Q(y))$ \forall z \forall y (P(z,y)\wedge Q(y)) .

$\forall z \forall y P(z,y)\wedge\overline{ \forall y Q(y)}$ \forall z \forall y P(z,y)\wedge\overline{ \forall y Q(y)} .

$\exists z \forall y (Q(z,y) \sim \overline{R}(y))$ \exists z \forall y (Q(z,y) \sim \overline{R}(y)) .

$\forall y \exists x (\exists z Q(x,z,y)\to R(x))$ \forall y \exists x (\exists z Q(x,z,y)\to R(x)) .

View this question

Побудувати

заперечення наступного висловлення, використовуючи квантифікацію: "

Є студент цієї групи, який прослухав всі запропоновані математичні курси"(

P(x,y) - предикат, що означає

x не прослухав математичний курс

$\forall y \exists x \overline{P}(x,y)$ \forall y \exists x \overline{P}(x,y)

$\forall x \exists y \overline{P}(x,y)$ \forall x \exists y \overline{P}(x,y)

$\exists x \exists y P(x,y)$ \exists x \exists y P(x,y)

$\forall x \forall y \overline{P}(x,y)$ \forall x \forall y \overline{P}(x,y)

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

$\exists x \exists y \overline{P}(x,y)$ \exists x \exists y \overline{P}(x,y)

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

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

View this question

Нехай Q(x, y) означає “ x + y = x-y

”,

предметна область для кожної змінної – множина

Z . Визначити значення істинності:

$\exists x \forall y Q(x,y)$ \exists x \forall y Q(x,y)

$\exists x Q(x,2)$ \exists x Q(x,2)

Q(2,0)

$\exists y\forall x Q(x,y)$ \exists y\forall x Q(x,y)

$\forall x \exists y Q(x,y)$ \forall x \exists y Q(x,y)

View this question

Нехай P(x) означає " x=x^2 ", а предметна область M=Z . Знайти значення істиності:

P(-1)

$\forall x P(x)$ \forall x P(x)

P(1)

View this question

Що означають наступні типи символів для запису атомів логіки першого ступеня?

предметні символи -

предикатні символи -

індивідні символи -

View this question

Виконати побітові операції OR, AND та XOR для таких пар бітових рядків: 11110000 та 10101010.

OR

XOR

AND

View this question

Яка з формул є заперечуваною?

$(p\wedge \overline{q})\to q$ (p\wedge \overline{q})\to q

$(p\wedge \overline{q})\to \overline{p}$ (p\wedge \overline{q})\to \overline{p}

$(p\to q)\wedge (p \wedge \overline{q})$ (p\to q)\wedge (p \wedge \overline{q})

$(p\to q)\wedge (q\to p)$ (p\to q)\wedge (q\to p)

View this question

Яка з формул є загальнозначущою?

$(p \rightarrow q)\vee(\overline{p} \to q )$ (p \rightarrow q)\vee(\overline{p} \to q )

$\overline{p} \sim q$ \overline{p} \sim q

$(p \rightarrow q)\wedge(\overline{p} \to q )$ (p \rightarrow q)\wedge(\overline{p} \to q )

$\overline{p}\vee q$ \overline{p}\vee q

View this question

Нехай p та q - висловлення: p - сьогодні холодно, q - падає сніг. Яка з формул описує висловлення: сьогодні не холодно і сніг не падає.

$\overline{p} \wedge \overline{q}$ \overline{p} \wedge \overline{q}

$p \wedge q$ p \wedge q

$\overline{p} \sim \overline{q}$ \overline{p} \sim \overline{q}

$\overline{p} \vee \overline{q}$ \overline{p} \vee \overline{q}

$\overline{p} \rightarrow \overline{q}$ \overline{p} \rightarrow \overline{q}

View this question

1
2
3
4
5
Next

Want instant access to all verified answers on virt.ldubgd.edu.ua?

Get Unlimited Answers To Exam Questions - Install Crowdly Extension Now!

Add to Chrome

Telegram Instagram TikTok Question Bank

Terms of Use Contact Us

Add to Chrome

Add to Chrome