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

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

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

А) Найти число булевых функций степени 5 от n => 5 переменных Б) Сколько из них являются симметрическими?
1
голос
1
ответ
49 показов

Найти замыкание множества A = {x1~x2; x1x2x3x4x5; x1 → x2}
0
голосов
1
ответ
61 показ

Найти число немонотонных симметрических булевых функций от n переменных
0
голосов
0
ответов
58 показов

Сколько всего булевых шефферовых функций?
1
голос
1
ответ
104 показа

Доказать, что множество A = L ∩ T1 является предполным в L. Каков принцип доказательства подобных задач?
1
голос
0
ответов
73 показа

Функция такая: http://prntscr.com/m7lkxr
1
голос
0
ответов
114 показов

Здравствуйте!Мне нужно доказать, что множество $$M = {1 1 1 1}, {0 0 1 1}, {0 1 1 0}, {1 0 1 0}, {0 0 0 0}, {1 1 0 0}, {1 0 0 1}, {0 1 0 1}$$ (каждый ...
0
голосов
0
ответов
91 показ

Пусть $% f(x_{1}, x_{2}, \dots, x_{n}) $% - $%n$%-местная булева функция (то есть $% f: \{0, 1\}^{n} \rightarrow \{0, 1\}$%) и $% x^{\sigma} = x$%, ес ...
0
голосов
0
ответов
174 показа

Здравствуйте. Дано множество А = {x<->y}. проверить равенство < A > = T1, где < A > - замыкание множества, а Т1 - класс функций, сох ...
1
голос
1
ответ
165 показов

При каких n функция f является шефферовой, т.е. образует полную систему:F = 1 + ∑ XiYj (где ∑ и + - сумма по модулю 2 ) 1<=i<j<=n
0
голосов
0
ответов
375 показов

Добрый день! уже второй день сижу,не понимаю, как вообще решать такого типа задачи, что вообще нужно делать, подскажите пожалуйстаПри каких n функция ...
0
голосов
1
ответ
114 показов

Снова здравствуйте! Выполняя задание, не получается привести к какому-то компактному виду, получается очень много скобок,скорее всего делаю что-то не ...
0
голосов
0
ответов
96 показов

Здравствуйте! Подскажите ,пожалуйста, все понять не могу, как решить это задание.Реализовать f над формулой S:f=z ∨(x ⇒ ¬y), S={ | }. Импликация с отр ...
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru