| Задать вопрос |
|
Проверить равносильность формул:
F_1 = Ɐx (F(x)→ G(x)) и F_2 = ƎxF(x)→ ⱯxG(x)
F_1 = Ɐx (F(x)→...
|
26.04.2021 22:55
|
2 |
1,967 |
|
|
Добрый вечер! Как преобразовать мощность |L^доп.S^T0| через сумму и разность?
|
26.04.2021 20:16
|
1 |
663 |
|
|
Помогите записать следующие определения на языку логики предикатов:
Сходящаяся последовательность.
|
22.04.2021 21:46
|
3 |
1,074 |
|
|
Используя принцип математической индукции доказать равенство:
|
22.04.2021 18:15
|
1 |
619 |
|
|
КАРТИНКА ТУТ
|
20.04.2021 22:25
|
1 |
668 |
|
|
Надо определить является ли булевая функция монотонно возрастающая
|
18.04.2021 20:23
|
4 |
903 |
|
|
Полином трёх переменных общего вида: F=axyz+bxy+cxz+dyz+ex+fy+gz+h
Двух переменных F=axy+bx+cy+d...
|
18.04.2021 20:13
|
4 |
728 |
|
|
Правильно ли составлена ф-ла?
|
17.04.2021 16:16
|
2 |
2,267 |
|
|
Много длинных записей получается, как такое правильно решать?
f=(x эквивалентность y)z...
|
17.04.2021 16:02
|
6 |
1,345 |
|
|
Определить, истинным или ложным является высказывание, считая, что все
переменные заданы на...
|
16.04.2021 18:26
|
1 |
1,464 |
|
|
Я пишу диплом, тема которого "Применение метода нечеткой логики для решения задачи выбора по...
|
16.04.2021 12:47
|
1 |
1,362 |
|
|
Для функции алгебры логики, представленной в табл. 2.1 в виде суперпозиций элементарных функций...
|
15.04.2021 20:17
|
7 |
984 |
|
|
Помогите задачей на логику
Семья состоит из пяти человек: Алексея, Веры, Даши, Глеба и Евгении....
|
15.04.2021 09:14
|
3 |
2,332 |
|
|
1) Ɐx (F(x) ↔ G(x)) и Ɐx F(x) ↔Ɐx G(x)
Не понимаю как открыть эквивалентность, квантор...
|
12.04.2021 18:05
|
5 |
1,208 |
|
|
Здравствуйте. Прошу помощи.
Есть задача:
Участок эл. цепи состоит из 4 элементов, каждый из...
|
12.04.2021 15:12
|
1 |
2,112 |
|
|
Постройте формальное доказательство логичности рассуждения.
Если человек занимается спортом, то он...
|
10.04.2021 18:29
|
1 |
735 |
|
|
если производная функции в точке равнв 0, и вторая производная этой функции в той же точке...
|
09.04.2021 22:06
|
1 |
1,401 |
|
|
метод решета в теории чисел заключается в том, что мы вычеркиваем из натурального ряда каждое...
|
09.04.2021 22:04
|
1 |
1,093 |
|
|
Добрый день, прошу вашей помощи, а то я чет ничего не могу понять.
У меня есть тема диплома...
|
08.04.2021 22:11
|
0 |
688 |
|
|
Изобразить на плоскости множество истинности предиката T(x, y) заданного на множестве R × R
...
|
08.04.2021 14:23
|
1 |
1,479 |
|
|
Требуется пошагово привести данное логическое выражение:
(x∧y∧z∧m)∨(¬x∧y∧¬z∧m)∨(¬x∧¬y∧¬z∧¬m)
к...
|
08.04.2021 13:57
|
1 |
1,129 |
|
|
Найти множество истинности предиката T(x), полученного в результате
указанной логической операции...
|
08.04.2021 11:59
|
1 |
1,049 |
|
|
∃x(A(x)→∀y(B(y)))&(¬A(x)→∀y(B(y)))→B(y)
Почему то при приведении формулы к ПНФ у меня получается...
|
06.04.2021 04:22
|
4 |
2,583 |
|
|
Определить лексикографически оптимальное решение на множестве допустимых решений X, задаются...
|
05.04.2021 10:23
|
0 |
413 |
|
|
Нужно доказать клаузу с помощью дедуктивного метода
(A→B),(¬B∨C),(A→C),(A∨B∨D),¬B⇒C∨D
...
|
04.04.2021 22:50
|
10 |
2,383 |
|
|
Построить релейно-контактную...
|
04.04.2021 19:57
|
2 |
1,586 |
|
|
Есть задача, решила ее как поняла. Но не совсем понятно, что такое W и на что оно влияет. Есть...
|
04.04.2021 18:42
|
6 |
3,894 |
|
|
Помогите пожалуйста решить используя законы алгебры множеств.
|
03.04.2021 19:31
|
1 |
1,373 |
|
|
Добрый день, помогите, пожалуйста, решить задачу.
Установить, является ли данное рассуждение ...
|
03.04.2021 16:59
|
11 |
3,706 |
|
|
(∀x(A(x))→∃z(B(z)))→∀z((B(x)→C(z))→C(z))
|
02.04.2021 01:15
|
3 |
1,216 |
|
|
Доказать методом резолюций, что формула G является логическим следствием формул F_1, F_2.
...
|
01.04.2021 11:50
|
3 |
5,508 |
|
|
Выяснить, будут ли следующие функции монотонны:
xy + y + x
(x * y) ∨ (x * z) ∨ (y * z)
...
|
31.03.2021 15:50
|
3 |
1,431 |
|
|
Здравствуйте помогите решить
y\: xz\rightarrow x
|
30.03.2021 19:21
|
1 |
1,211 |
|
|
Помогите доказать логическое следование
( x-> y) ^ ( x ∨ z) |- x ∨ z
|
30.03.2021 12:10
|
1 |
586 |
|
|
Требуется оценить формулу в данной интерпретации (т.е. подставить предикаты в данную формулу и...
|
30.03.2021 00:03
|
5 |
577 |
|
|
Задание:
Преобразовать формулу логики предикатов в приведённую и нормальную форму.
Дана...
|
26.03.2021 15:55
|
5 |
1,151 |
|
|
построить отрицание выражения, содержащего кванторы
|
26.03.2021 15:24
|
1 |
730 |
|
|
Алиса и Боб играют в следующую игру. n = 2k, Алисе известны две битовые строчки x0 и x1. x0, x1 ∈...
|
25.03.2021 16:15
|
0 |
771 |
|
|
Какое минимальное количество листьев с пометкой «1» может быть в протоколе для функции РАВНО16? Я...
|
24.03.2021 21:08
|
13 |
2,103 |
|
|
Как доказать, что CC(EQ) = n + 1 через оценку минимального количества листьев в протоколе?
Можно...
|
24.03.2021 20:59
|
0 |
491 |
|
|
В имеющийся ниже шаблон заданной ФАЛ с помощью правила де Моргана расставить скобки и инверсию в...
|
24.03.2021 15:13
|
8 |
1,758 |
|
|
Записать предложения в виде формул исчисления предикатов
Не всякий студент, хорошо сдавший...
|
24.03.2021 12:15
|
1 |
979 |
|
я прогонял балду,и теперь абсолютно ничего не понимаю.пожалуйста,помогите
|
24.03.2021 10:17
|
0 |
333 |
|
|
помогите построить вывод
|
23.03.2021 02:11
|
7 |
687 |
|
|
Требуется оценить формулу в данной интерпретации (т.е. подставить предикаты в данную формулу и...
|
22.03.2021 21:05
|
8 |
2,635 |
|
|
Сколько существует полиномов Жегалкина от переменных x1....xn степени не больше 3(<=3)?
|
22.03.2021 19:52
|
1 |
902 |
|
|
Здравствуйте!
Помогите, пожалуйста, решить 2 задачу
Спасибо за ответы!
Правила форума, пункт...
|
22.03.2021 17:30
|
0 |
630 |
|
|
Помогите, прошу. Как из этого сделать функцию, почему "ИЛИ-НЕ" с одним входом?
|
21.03.2021 12:14
|
3 |
631 |
|
|
Люди добрые, разъясните, как по этой схеме составить функцию? Почему у инвертора два входа?
|
20.03.2021 18:08
|
1 |
1,362 |
|
|
Помогите построить Релейно-контактную схему с заданной функцией проводимости
|
20.03.2021 01:54
|
1 |
1,779 |
| Задать вопрос |
|
IndentationError
|
|
0 |
7622 |
|
|
Mr. Docker
|
|
0 |
6248 |
|
|
EggHead
|
|
0 |
7782 |
|
|
EggHead
|
|
0 |
8449 |
|
|
EggHead
|
|
0 |
4799 |
|
|
Javaican
|
|
0 |
2352 |
|
|
EggHead
|
|
0 |
4393 |
|
|
Codd
|
|
0 |
8849 |
