|
|
|
|
|
|
Задать вопрос |
|
Получить приведенную и предваренную нормальные формы для
следующих предикатных формул:
a)∀y...
Romashka_Kalga
|
21.12.2020 17:05
|
19 |
2,548 |
|
Подобрать элементарные предикаты и записать следующее высказывание «через точку плоскости можно...
JuliaSchukina
|
21.12.2020 14:54
|
0 |
388 |
|
Не знаю куда обратиться, думаю вы сможете помочь
NikitaAl
|
21.12.2020 11:28
|
1 |
416 |
|
Не смог разобраться с предикатами. Не понимаю теорию. Буду очень рад помощи(сам продолжаю...
XVlll
|
20.12.2020 17:11
|
1 |
421 |
|
Le_ka
|
20.12.2020 15:31
|
0 |
637 |
|
Выясните, самодвойственна ли следующая булева функция.
f(x,y,z)=((x\vee y\vee z)\rightarrow...
ОлАмел
|
20.12.2020 00:02
|
4 |
2,270 |
|
Здравствуйте. Помогите пожалуйста решить задачу:
Найдите минимальные ДНФ неизвестных функций X(A,...
jeetle
|
19.12.2020 20:03
|
3 |
1,314 |
|
Проверить, является ли функция функционально полной с помощью:
-Сведения ее к заведомо...
XVlll
|
19.12.2020 18:35
|
1 |
1,239 |
|
Помогите:help:
1)Ввести предикаты, задающие свойства и отношения, и
константы, используемые в...
loolz
|
19.12.2020 17:34
|
3 |
740 |
|
Выяснить взаимное расположение множеств D, Е, F, если А, В, X -
произвольные подмножества...
Ryotaro
|
19.12.2020 15:41
|
0 |
1,709 |
|
1. Существуют ли множества А, В, X такие, что выполняется набор
условий A?
2. Существуют ли...
Ryotaro
|
19.12.2020 15:13
|
1 |
2,388 |
|
Всем привет, мне нужно сделать эти два задания, буду очень благодарен если поможете :)
Подобрать...
Rudyboy
|
19.12.2020 07:46
|
6 |
2,709 |
|
Дан фрагмент таблицы истинности для выражения F:
...
Bortnikof1222
|
18.12.2020 22:23
|
1 |
462 |
|
Каждую клаузу в нижеприведенных вариантах необходимо доказать следующими методами: аксиоматическим,...
Ailbibekov
|
18.12.2020 22:10
|
1 |
1,353 |
|
Помогите пожалуйста решить уравнение.
r0uz1
|
18.12.2020 22:04
|
1 |
622 |
|
Выяснить, являются ли тождественно-истинными следующие предикатные формулы:(картинка в файлах)
...
Rudyboy
|
18.12.2020 20:23
|
5 |
2,639 |
|
Доказать, что для любого множества Е имеем Е=Е\cupE'
E' - множество предельных точек множества Е...
Olivefc
|
18.12.2020 15:57
|
2 |
674 |
|
Если кто понимает, можете подсказать какие теоремы вывести из набора гипотез {не а, не б, а...
sadsadChan
|
18.12.2020 15:33
|
3 |
343 |
|
Записать рассуждение в логической символике и проверить правильность рассуждения методом Куайна и...
PumpkinAl
|
18.12.2020 14:32
|
0 |
492 |
|
Всем привет, необходимо
Подобрать элементарные предикаты и записать определение сходимости...
Rudyboy
|
18.12.2020 09:52
|
2 |
1,255 |
|
Выяснить, являются ли тождественно-истинными следующие
предикатные формулы:
a) ∀ x R(x)& (∃xR(x)...
Romashka_Kalga
|
18.12.2020 09:25
|
5 |
3,103 |
|
Есть задание, в принципе методом резолюции цель я нашёл, но как применить сетевой подход не очень...
Melirei
|
18.12.2020 02:18
|
1 |
306 |
|
P(x,y,z):z - остаток от деления x на y
Ilya_One
|
17.12.2020 19:21
|
3 |
923 |
|
В структуре (ℕ0, +,∗, = ,0,1), где ℕ0 – множество, состоящее из натуральных чисел и нуля, выразить...
Ilya_One
|
17.12.2020 14:24
|
0 |
336 |
|
Найти минимальную (-ые) д. н. ф. булевой функции трёх переменных, которая равна единице на...
pvpepper1
|
17.12.2020 12:09
|
4 |
2,662 |
|
A∩B∩(¯A∩B)∩(A∪¯B)∪C∩¯C
xid
|
17.12.2020 11:36
|
1 |
1,174 |
|
нужна помощь в построении этих выводов в ив:
1) |- (A > B) > B
2) |- A > !! A
с использованием...
rammstein123517
|
16.12.2020 23:46
|
3 |
582 |
|
Дана машина Тьюринга с алфавитом А = {0,1} и программа
{q}_{1}1 \rightarrow 1R{q}_{2}, {q}_{1}0...
Miradl
|
16.12.2020 11:44
|
1 |
579 |
|
Учитель дал задание, но не прокомментировал. Возможности спросить нет. Одногруппник говорит...
drrrre234
|
15.12.2020 12:17
|
2 |
790 |
|
Доказать что Нок есть прф
drrrre234
|
14.12.2020 22:41
|
1 |
949 |
|
Для J=J10
swanweig
|
14.12.2020 22:17
|
13 |
916 |
|
Помогите сделать!! Нужно Упростить заданную логическую формулу с помощью эквивалентных...
huk777888
|
14.12.2020 20:10
|
5 |
1,861 |
|
Здравствуйте, помогите перейти к базису шеффера
Arduinshik
|
14.12.2020 19:53
|
3 |
423 |
|
Добрый день! Помогите разобраться с задачей.
Если летающие тарелки существуют, то это либо обман...
deldor123
|
14.12.2020 19:04
|
3 |
846 |
|
Упростить заданную логическую формулу с помощью
эквивалентных преобразований. Доказать их...
huk777888
|
14.12.2020 19:03
|
0 |
620 |
|
Помогите упросить
Exanityz
|
14.12.2020 18:47
|
3 |
605 |
|
cм.вложения. N - проигнорировать
Vladislav4enko
|
14.12.2020 17:01
|
5 |
1,131 |
|
Добрый день! Прошу помощи в решении задания:
Для отношения p{(x,y)|y:x, x,y=1,2,3,4,5} найти...
Vladimiris
|
14.12.2020 13:53
|
3 |
1,036 |
|
найти двойственную функции
tfex1
|
14.12.2020 11:34
|
3 |
629 |
|
Помогите проверить правильность рассуждения методом "от противного"
Все ромбы - параллелограммы....
Neirus_Sunders
|
14.12.2020 10:10
|
3 |
691 |
|
zawdarkin
|
14.12.2020 10:07
|
1 |
872 |
|
В конце постоянно остаётся not(B)
((A\C)∪not(A∪C))∩(A∪(A∩not(B\C)))=A\C
Добавлено через 1 час...
cyberjohn
|
14.12.2020 06:50
|
1 |
1,221 |
|
Пусть имеем множества:
N - множества натуральных чисел,
Z - множества целых чисел,
Q -...
Kolymbia
|
14.12.2020 06:38
|
2 |
5,518 |
|
Помогите Выполнить переход от ДНФ к СДНФ и от КНФ к СКНФ для выражения X = (A v C) (B с крышкой v C)
Валя Лепина
|
13.12.2020 15:51
|
1 |
1,976 |
|
Упростить формулу
tfex1
|
13.12.2020 15:12
|
2 |
417 |
|
Привести формулу к ДНФ
tfex1
|
13.12.2020 12:18
|
1 |
908 |
|
Помогите пожалуйста доказать равенство.
Usernameistaken
|
13.12.2020 03:48
|
2 |
1,288 |
|
Всем привет. Помогите, пожалуйста. Нужно упросить эти схемы по формулам (ну это и так понятно), но...
ilr00743
|
12.12.2020 23:06
|
7 |
1,628 |
|
Формулы первого порядка с предикатными символами B(x),P(x,y) будем интерпретировать на непустых...
Lonster
|
12.12.2020 22:57
|
0 |
283 |
|
помогите построить вывод снятия двойного отрицания, достаточно сложно
\vdash \neg \neg A...
korablik
|
12.12.2020 19:54
|
3 |
497 |
Задать вопрос |
|
|
|
|
|
|