0
голосов
0
ответов
36 показов

Докажите, что формула (p → q) → (¬q → ¬p) является интуиционистскойтавтологией.
0
голосов
0
ответов
41 показ

Докажите, что формула ¬(p → q) → (p ∧ ¬q) не является интуиционистскойтавтологией. Постройте опровергающую модель Крипке.
0
голосов
0
ответов
76 показов

Является ли формула$%\forall x \forall y \forall z$%(F(x,y)^F(y,z)$%\rightarrow$%F(x,z))опровержимой
0
голосов
0
ответов
69 показов

Рассмотрим небезызвестную функцию большинства $%MAJ(x_{1}, x_{2}, \dots, x_{n})$%, равную единице тогда и только тогда, когда число единиц на входе не ...
0
голосов
0
ответов
54 показа

Пусть есть формула $%f$%, составленная при помощи логических операций $%\land, \lor, \to$% и переменных $%x,y,z$%. Эта формула приводится к КНФ, может ...
0
голосов
0
ответов
54 показа

Интересует следующий вопрос: как можно оценить глубину схемы из функциональных элементов, реализующую медиану 2n+1 элемента? Если я не ошибаюсь, должн ...
0
голосов
0
ответов
233 показа

Привет всем, готовлюсь к экзамену по ДМ, и некоторые задачи вызывают сложности.Привожу пару примеров из демо-варианта:Булева функция f(x1, . . . , xn) ...
0
голосов
0
ответов
96 показов

Выписать примеры подалгебр и определить общее число подалгебр, включая тривиальные, для булевой алгебры всех подмножеств множества {a1, a2, a3}.
0
голосов
1
ответ
194 показа

Задали в вузе никак не могу разобраться, помогите пожалуйста решить и понять!Построить множество всех функций, зависящих от переменных x, y и принадле ...
0
голосов
0
ответов
188 показов

Доказать, что коэффициенты Фурье булевых функций f,g,h, где $$f=g\cdot h $$, связаны соотношениями: $$c_{a}^{f}=2^{-n}\cdot\sum\limits_{b \in V_{n} }c ...
0
голосов
0
ответов
131 показ

f(x, y, z) = (y(x xor y))xor((x∨z)∨(xz))Выразить отрицание x и конъюнкцию xy через f и отрицание f.Как я понимаю, можно использовать полином Жегалкина ...
0
голосов
1
ответ
288 показов

Как доказать, что в векторе значений любой линейной функции должно быть одинаковое количество нулей и единиц?
0
голосов
0
ответов
182 показа

Помогите сконструировать 3-CNF формулу для которой метод резолюций порождает экспоненциально много частей(конъюктивной нормальной формы)
0
голосов
0
ответов
159 показов

Пусть $%\mathbb{B}=\{0,1\}$%. Рассмотрим линейное отображение $%A:\mathbb{B}^{n}\to\mathbb{B}^{n}$%, задаваемое матрицей $%A=(a_{ij})$% с элементами и ...
0
голосов
1
ответ
288 показов

А) Найти число булевых функций степени 5 от n => 5 переменных Б) Сколько из них являются симметрическими?
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru