| Задать вопрос |
|
. Доказать или опровергнуть справедливость следующих правил
вывода, установив доказуемость...
|
24.05.2021 22:53
|
1 |
707 |
|
|
А достаточно для В или С, а В необходимо для А и С, но из С следует А либо В
|
24.05.2021 22:51
|
1 |
503 |
|
|
a∧(¬a∧¬b)
|
24.05.2021 22:40
|
1 |
294 |
|
|
B∨D∧(C∧¬A∨¬A∧¬B∨A∧C∨A∧¬B)∧(B∨¬D)∨¬A∧A∧¬B
|
24.05.2021 22:38
|
1 |
599 |
|
|
Опредить логическое значение последнего высказывания, исходя из логических значений всех предыдущих...
|
24.05.2021 22:36
|
1 |
614 |
|
|
Доказать или опровергнуть справедливость следующих правил вывода,
установив доказуемость...
|
24.05.2021 19:08
|
0 |
472 |
|
|
(A\setminus B)\times(C\cup D)=((A\times C)\setminus (B\times C))\cup ((A\times D)\setminus (B\times...
|
24.05.2021 18:45
|
4 |
2,116 |
|
|
Составить обратную и противоположную теорему
Если в четырехугольнике две противоположные стороны...
|
23.05.2021 19:29
|
2 |
500 |
|
|
Воспользовавшись законами логики, максимально упростить выражение
X˄Y˄(X ˅ (y˄z) ˄(y→z)) Нужна...
|
23.05.2021 17:12
|
1 |
1,174 |
|
|
Найдите отношения ρ–1, ρ ° ρ , ρ–1 ° ρ–1 для бинарного отношения x ρ y ⇔ «2x = 3y», определенного...
|
22.05.2021 00:44
|
12 |
2,069 |
|
|
Вычислить значение функции φ(x, y), построенной с помощью оператора примитивной рекурсии.
...
|
21.05.2021 22:20
|
4 |
735 |
|
|
∃x ∀y ∃z (xy=z)
|
19.05.2021 03:45
|
5 |
1,025 |
|
|
Некоторые алгебраические числа рациональны, а некоторые — иррациональны. На языке предикатов как...
|
18.05.2021 22:14
|
6 |
1,605 |
|
|
Дана таблица истинности.
Подскажите как это восстановить и упростить.
|
13.05.2021 21:20
|
5 |
1,916 |
|
|
Записать на языке логики предикатов высказывание :
"Через три точки, не лежащие на одной прямой,...
|
13.05.2021 18:20
|
4 |
6,591 |
|
|
Определить истинность или ложность составленного выражения, использовав его логическую структуру и...
|
13.05.2021 12:54
|
4 |
1,521 |
|
|
Аксиоматическим методом
|
12.05.2021 23:53
|
1 |
754 |
|
|
Пусть задано элементарные высказывания:
a - 6 - целое число; b - 13 - четное число; c - 14 -...
|
12.05.2021 23:06
|
1 |
846 |
|
|
Метод дедукции
|
12.05.2021 22:49
|
1 |
954 |
|
|
|
12.05.2021 22:43
|
1 |
617 |
|
|
Аксиоматический метод
|
12.05.2021 22:22
|
0 |
591 |
|
|
Доказать следующими методами: аксиоматическим, методом резолюции и
теоремой дедукции.
|
12.05.2021 22:22
|
1 |
727 |
|
|
Построить ДНФ и КНФ для заданной формулы с помощью эквивалентных преобразований....
|
12.05.2021 19:47
|
3 |
9,262 |
|
|
справедливо ли в общем слуяае утверждение: если A ⊆ B, B ∈ C, C ⊂ D, то A ⊆ D
|
12.05.2021 17:55
|
1 |
2,926 |
|
|
Как преобразовать дальше к ПНФ?Или я что-то не так делаю?
∀xP(x) -> ∀xQ(x)
∀xP(x) -> ∀xQ(x) =...
|
12.05.2021 14:06
|
7 |
2,972 |
|
|
Упростить формулы
|
11.05.2021 23:10
|
1 |
668 |
|
|
Студенты группы университета могут изучать английский или французский, изучение хотя бы одного...
|
11.05.2021 16:09
|
1 |
897 |
|
|
Уменьшение температуры приводит к снижению давления и уменьшению объема. Увеличение объема приводит...
|
11.05.2021 10:57
|
4 |
754 |
|
|
Максимально упростите выражение своего варианта, воспользовавшись законами логики Буля.
Помогите...
|
10.05.2021 03:42
|
7 |
2,241 |
|
|
Подскажите, пожалуйста, где можно найти таблицу перехода от исходной функции к двойственной....
|
07.05.2021 20:31
|
3 |
1,615 |
|
|
Найти ДНФ, КНФ, СДНФ, СКНФ методом равносильных
преобразований; x∧y→(¬x∧z→(x ∨y))
Табличным...
|
07.05.2021 18:51
|
2 |
1,650 |
|
|
Формула
|
06.05.2021 21:50
|
1 |
666 |
|
|
M = {1,2,3,4, …, 50}
Заданы предикаты:
A(x): «x – не четное число»;
B(x): «x – кратно 2»;
C(x):...
|
06.05.2021 15:38
|
1 |
827 |
|
|
Сформируйте истинные высказывания форм A, E, I, O для следующего понятия:
- Эллипс(S), коническое...
|
06.05.2021 14:32
|
0 |
1,117 |
|
|
3. Привести равносильными преобразованиями формулу к дизъюнктивной нормальной форме.((X→Y)⋁Z ̅ )→(X...
|
05.05.2021 15:36
|
1 |
1,656 |
|
1. Дано универсальное множество U={1,2,3,4,5,6,7} и в нем подмножества A={x| x >4},
B={3,5,7},...
|
04.05.2021 19:24
|
1 |
1,475 |
|
|
5. Выяснить, является ли функция f:A^∞→B^∞ ограниченно детерминированной:
A=B={a,b,c},...
|
04.05.2021 19:13
|
0 |
1,090 |
|
|
1. Дано универсальное множество U={1,2,3,4,5,6,7} и в нем подмножества A={x| x >4},
B={3,5,7},...
|
04.05.2021 19:13
|
0 |
635 |
|
|
2. Задано бинарное отношение на множестве М={1,2,3,4}. Является ли оно рефлексивным, симметричным,...
|
04.05.2021 19:13
|
0 |
2,629 |
|
|
4. Предположим, что P(x,y) означает "x - это родитель y ", а M(x) означает " x - это мужчина". Если...
|
04.05.2021 19:13
|
0 |
530 |
|
|
Среди сотрудников фирмы 15 человек знают английский язык, 10 — немецкий, 8 – французский. Три...
|
03.05.2021 21:10
|
2 |
1,337 |
|
|
Если мальчик не пойдет в кино, то он будет смотреть телевизор или пойдет к друзьям. Если же он...
|
03.05.2021 17:21
|
1 |
2,286 |
|
|
Дано множество M=\begin{Bmatrix} a, & b \end{Bmatrix}. Предикат P\left(x,y \right), где x\in M,...
|
03.05.2021 00:06
|
3 |
2,168 |
|
|
Может кто-нибудь помочь привести выражение к базису Шеффера:
\bar{x1}\bar{x2}\bar{x3}
|
02.05.2021 19:38
|
5 |
811 |
|
|
Помогите, не могу вывести 3-ую формулу в обратном направлении.
|
01.05.2021 19:51
|
1 |
662 |
|
|
Помогите, дайте намёк как решить данное упражнение из Мендельсона
Частично рекурсивная функция φ...
|
01.05.2021 10:11
|
8 |
1,233 |
|
|
Здравствуйте, есть пара задач и моё их решение, хочу удостовериться, что решил правильно, исходные...
|
29.04.2021 22:56
|
8 |
5,325 |
|
|
Здравствуйте, вроде задание не сложное, но у меня видимо где-то импульсы из головы не доходят, как...
|
28.04.2021 19:41
|
3 |
3,400 |
|
|
u∈A△(B\A) ⟺ u∈A(B\A) ∨ u∈(B\A)\A ⟺
⟺(u∈A∧u∉(B\A))∨(u∈(B\A)∧u∉A)
⟺(u∈A∧(u∉B∨u∈A))...
|
28.04.2021 14:35
|
1 |
1,381 |
|
|
Записать в виде формулы сигнатуры <N, P(x), Q(x,y)> предикат: “Существует не менее двух простых...
|
26.04.2021 22:55
|
2 |
2,470 |
| Задать вопрос |
|
IndentationError
|
|
0 |
7642 |
|
|
Mr. Docker
|
|
0 |
6263 |
|
|
EggHead
|
|
0 |
7795 |
|
|
EggHead
|
|
0 |
8483 |
|
|
EggHead
|
|
0 |
4814 |
|
|
Javaican
|
|
0 |
2365 |
|
|
EggHead
|
|
0 |
4408 |
|
|
Codd
|
|
0 |
8866 |
