| |
|
|
|
|
| |
| Задать вопрос |
|
Определите истинность формулы: F = ((С \/В) => В) /\ (А /\ В) => В.
Trenton
|
Сегодня 15:35
|
2 |
81 |
|
|
Срочно!!! Помогите пожалуйста с упрощением выражения множества! 3 номер.
Правила форума, пункт...
Lentab
|
Вчера 22:35
|
2 |
184 |
|
|
Есть задание, определить, кто из студентов сдал экзамен, если:
1. Если первый сдал, то и второй...
karlhildekruger
|
Вчера 14:03
|
4 |
111 |
|
|
На множестве слов русского языка задано отношение p: x p y <=> слова x и y содержат хотя бы одну...
Proverka2200
|
30.09.2022 13:44
|
3 |
161 |
|
|
Как составить СДНФ и СКНФ без составления таблицы истинности? Вот функция для примера: x ˅ y¬z....
Exall
|
29.09.2022 21:08
|
1 |
92 |
|
|
Нужно упростить формулу Помогите пожалуйста.
fanta444
|
28.09.2022 13:33
|
3 |
173 |
|
|
Докажите, что формула F = ((AΛB)→A) является тавтологией, используя равносильность формул
Zlatta
|
26.09.2022 15:35
|
3 |
476 |
|
|
Статистические исследования показали, что 60% сотрудников предприятия сделали срочные вклады в...
pavel_227
|
22.09.2022 13:36
|
3 |
225 |
|
|
Докажите, A∪∅=A ( одним из 3 методов: 2ух включений, эквивалентных преобразований,...
dfuytcv
|
21.09.2022 23:34
|
1 |
171 |
|
|
Дана формула Ф=(((¬a)≡b)∧c)
Найти СКНФ и СДНФ
karlhildekruger
|
20.09.2022 13:27
|
6 |
187 |
|
|
Известно ДНФ, найти СДНФ
b∨¬a∨(a∧¬b)∨(¬a∧b)∨(¬a∧¬b)
Добавлено через 7 минут
забыл добавить,...
karlhildekruger
|
19.09.2022 13:36
|
2 |
132 |
|
|
Покажите, что для любого натурального числа n найдётся нечётное натуральное число λ(n), такое что:...
dimaszdn
|
16.09.2022 19:32
|
6 |
583 |
|
|
Доказать, что всякое множество, есть:
1.объединение всех своих подмножеств
2.объединение всех...
jsajdssa
|
15.09.2022 21:53
|
9 |
392 |
|
|
¬((¬a)→(a→(b→c)))
karlhildekruger
|
15.09.2022 15:15
|
1 |
437 |
|
|
при помощи равносильных преобразований проверить является ли формула тавтологией или тождественной...
karlhildekruger
|
15.09.2022 13:00
|
1 |
96 |
|
|
Ф1=(a∨(b→(¬c)))
Ф2=(b→(c→a))
Необходимо решение в виде равносильных преобразований для проверки...
karlhildekruger
|
15.09.2022 12:59
|
1 |
77 |
|
|
Доброго времени суток.
Нужна помощь с заданием "Представить множество ¬(A⊕(B⊕C)) в виде суммы...
DJ123
|
14.09.2022 21:29
|
3 |
565 |
|
|
Привел формулу лп к формуле ссф,получил 4 дизъюнкта:
K={(B(a)∨...
vadim444666
|
09.09.2022 13:07
|
1 |
439 |
|
|
Написать следующие утверждения на формальном языке теории множеств:
1. "множество x имеет не...
Pro100Nastja
|
07.09.2022 10:39
|
10 |
481 |
|
|
Добрый вечер, кто-нибудь знает, как можно упростить это логическое выражение до 3-х дизъюнкций, без...
Develonment
|
06.09.2022 18:25
|
0 |
208 |
|
|
Добрый день, мне нужна помощь, мне необходимо преобразовать логическое выражение, используя стрелку...
Develonment
|
06.09.2022 14:05
|
10 |
562 |
|
|
Всем привет, мне нужно решить задание под буквой и объяснить почему так. Помогите пожалуйста!
rL1ze
|
05.09.2022 17:58
|
2 |
156 |
|
|
Здравствуйте. уважаемые форумчане!
Есть такое нехитрое выражение!...
ceg
|
15.08.2022 13:35
|
1 |
274 |
|
|
Примерно месяц назад, а, точнее, 13 июня я нашел доказательство равномощности множества натуральных...
guestfromspace
|
12.07.2022 20:17
|
1 |
208 |
|
|
На множестве всех числовых функций, область определения и множество значений которых суть...
scarlet_holmes
|
03.07.2022 12:46
|
1 |
207 |
|
|
Упростить логически выражение:
х1 ⇒ х2 = (х1 V x2) ~ (x2x1)
Правила форума, пункт 4.7. Как...
Next_souL
|
28.06.2022 16:41
|
1 |
314 |
|
|
помогите пожалуйста, никак не могу понять как это делать
GHOSTofTIME
|
28.06.2022 15:33
|
0 |
136 |
|
|
Здравствуйте, подскажите, пожалуйста, правильно ли решил задание?
(ƎxⱯyA(x,y)) V (ƎxⱯyB(x,y)
∃...
ForestFreshman
|
26.06.2022 20:10
|
3 |
249 |
|
|
Добрый день! Затрудняюсь с созданием формулы в рамках логики первого порядка. Сигнатура не должна...
VicTumaN
|
24.06.2022 21:17
|
5 |
514 |
|
|
Очень срочно, люди добрые, помогите пожалуйста решить
qwertyyboy
|
22.06.2022 19:02
|
0 |
185 |
|
|
Есть такая функция, как (x1+x2)<(x3->x1) (< это дизъюнкция, а + сложение по модулю 2).
Проблема...
Dazai1947
|
22.06.2022 15:47
|
4 |
494 |
|
|
_ _ _ _ _ _ _ _______
y z v x y z v x y z v x y ...
masterbeat
|
22.06.2022 01:19
|
3 |
199 |
|
|
На множестве B={1,2,3,4} задано бинарное отношение Р={(1;1), (1;3), (2;4), (3;1), (3;4), (4;2),...
Ай1424
|
19.06.2022 12:29
|
0 |
640 |
|
|
Как можно начинать рассуждения в такой задаче?
Я не прошу решения к этой задаче, а хотя бы вектор...
jxstixn
|
19.06.2022 03:15
|
4 |
148 |
|
|
Подскажите, как правильно рассуждать в таких задачах: является ли L \ T0 классом замкнутости?
jxstixn
|
19.06.2022 00:23
|
30 |
684 |
|
|
Методом резолюций проверить выполнимость следующих формул. Если формулы выполнимы, построить для...
Wizzix12
|
18.06.2022 22:49
|
3 |
496 |
|
|
Пусть имеем множество М = {a, b, c, d}. Бинарное отношение на нем задано с помощью
матрицы R....
d1spimel
|
18.06.2022 16:59
|
12 |
1,018 |
|
|
A необходимо для B, а B когда C и A, но не A эквивалентно C и B
Павлова Аня
|
17.06.2022 20:30
|
10 |
1,177 |
|
|
Условно говоря есть два задания:
1) Синтезировать схему "равнозначности" в базисе И-НЕ
2)...
Noob_03
|
16.06.2022 17:24
|
5 |
305 |
|
|
Найдите пожалуйста эту сокращённую ДНФ f=(01001110) с полным решением
fferebon
|
15.06.2022 18:33
|
1 |
134 |
|
|
Есть клауза:
A\vee B,D\vee E, D\vee C, C\rightarrow D\Rightarrow A\wedge D; B; C\wedge E
Мне...
ded187
|
15.06.2022 00:59
|
3 |
217 |
|
|
Кто может коротко и понятно обьяснить трехзначную логику Лукасевича?
Прочитав информацию в инете...
ghumbert
|
13.06.2022 18:48
|
2 |
220 |
|
|
1 Пусть A = {1,2,3,4,5}, а S, T, U, V – отношения на А,
S = {(1;1),(1,2),...
Mewcerf
|
13.06.2022 18:30
|
2 |
166 |
|
|
2 Установите, является ли отношение R - «быть меньше на 2» отношением порядка на множестве...
Mewcerf
|
09.06.2022 08:28
|
1 |
151 |
|
|
4 На множестве А={1,2, 4, 6, 3, 8} определено отношение R – «быть кратным». Задать R разными...
Mewcerf
|
09.06.2022 08:24
|
1 |
147 |
|
|
у меня есть две кляузы:
A\rightarrow C, \bar{B}\sim C, B\vee D, B\rightarrow A \Rightarrow D;...
ultimateman21
|
06.06.2022 00:17
|
8 |
1,236 |
|
|
Здравствуйте, помогите пожалуйста построить вывод для формулы атч А=>(!В=>(!А=>!В)). Вроде...
pavelstashenko
|
04.06.2022 22:42
|
2 |
269 |
|
|
Нужна помощь с доказательством пунктов (k) и (о).
Silenced
|
01.06.2022 14:23
|
1 |
253 |
|
|
Построить формулу от трех переменных, которая ложна тогда и только тогда, когда не менее чем две...
NeField
|
31.05.2022 17:08
|
1 |
250 |
|
|
Добрый день, получил этакие задачки
Записать высказывание в виде формул логики высказываний...
sunfish1
|
31.05.2022 17:02
|
1 |
281 |
| Задать вопрос |
| |
|
|
|
|
| |
