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

С помощью правил естественного вывода доказать выводимость формулы в теории $% L $%. Правилом замены эквивалентным не пользоваться. $% \neg (\neg ( \n ...
0
голосов
0
ответов
27 показов

Дан булев многочлен с известным числом переменных n (например xyxz+zyxx+zz+1 для n=3). Требуется привести его к стандартному виду (Полиному Жегалкина) ...
1
голос
1
ответ
39 показов

Приведите пример функции, которая сама по себе не образует полный класс, а вместе с f( x, y, z) = x \/ yz образует, и почему так?к ней найти все функц ...
0
голосов
0
ответов
28 показов

Существует ли немонотонная нелинейная булева функция трех переменных, многочлен Жегалкина которой имеет нечетное число слагаемых?
1
голос
0
ответов
56 показов

Задача 1:а)Запишите при помощи формул исчисления предикатов следующие утвержденияi)Кто хочет в гости по утрам,тот поступает мудроii)Винни-Пух ходит в ...
0
голосов
0
ответов
22 показа

Существует ли булева функция трех переменных, СДНФ которой содержит 6 элементарных конъюнкций, а минимальная днф при этом состоит из 4 конъюнкций 2 пе ...
0
голосов
0
ответов
42 показа

Даны ребра с n вершинами. Какое наибольшее количество раз будет изменена раскраска при работе алгоритма Краскала в худшем случае.
0
голосов
0
ответов
31 показ

Сколько существует линейных булевых функций, сохраняющих ноль?
0
голосов
0
ответов
25 показов

Сколько существует булевых функций, сохраняющих ноль и единицу?
0
голосов
0
ответов
39 показов

$%R(x, y)$% - бинарное отношение.Записать при помощи формул исчисления предикатов следующие свойства:1) транзитивность $% (Vx,y,z: xRy\wedge yRz => ...
1
голос
1
ответ
41 показ

Равносильны ли формулы ∀x∀y∀z(R(y,x)→R(z,y)) и ∀x∀yR(х,у)∨∀x∀y¬R(х,у) ?
0
голосов
0
ответов
40 показов

Граф задан матрицей смежности. Как определить, что он имеет эйлеров цикл при помощи алгоритма?
0
голосов
0
ответов
33 показа

Пусть U - группа комплексных чисел на единичной окружности. Докажите, что $$\mathbb{C}/U\cong R^*+$$ (Все группы - по умножению).
0
голосов
0
ответов
47 показов

Дан набор булевых функций {xy; x|y}.Сколько функций от 1 и 2 переменных, не имеющих фиктивных аргументов, входят в замыкание исходного набора?Сколько ...
0
голосов
0
ответов
31 показ

Какие есть системы аксиом исчисления высказываний? Названия. Если можно, то ссылку на источники, где можно про них почитать.
на странице153050
Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru