| Задать вопрос |
|
Привести к пренексной(предваренной) нормальной форме формулу:
|
29.09.2021 16:19
|
1 |
875 |
|
Выполнить операции над множествами, если множество бесконечное, то перечеслить 5 цифр.
• (d|c)...
|
27.09.2021 23:17
|
1 |
456 |
|
Доказать тождество, пользуясь таблицей операций.
|
27.09.2021 14:24
|
5 |
1,668 |
|
получите аналитическую биекцию между множествами А=(9;10] и B=(-1;3]△(0;5]
|
27.09.2021 01:29
|
18 |
2,197 |
|
Докажите правильность следующих умозаключений, используя
опровержение по методу резолюций.
а)...
|
26.09.2021 15:25
|
1 |
1,150 |
|
Докажите, что B = (¬A ∩ B) ∪ (¬B ∩ A) ⇒ A = ∅. (Подсказка. Доказывайте от противного: предположите,...
|
25.09.2021 03:55
|
3 |
1,238 |
|
Из 62 студентов педагогику сдали 54 человек, математику – 49, философию – 50, педагогику и...
|
24.09.2021 17:27
|
1 |
1,067 |
|
Докажите истинность утверждения
|
23.09.2021 13:27
|
1 |
656 |
|
У меня возникли затруднения со следующей задачей из книги Куратовского Мостовского "Теория...
|
22.09.2021 12:40
|
0 |
1,273 |
|
Определить, какие из формул не являются ни противоречиям, ни тавтологиями. Также написать решения.
|
21.09.2021 21:35
|
6 |
1,289 |
|
Подскажите пожалуйста, как в этом примере происходит раскрытие скобок? Что на что умножается и как...
|
21.09.2021 12:14
|
3 |
3,713 |
|
Разностная сумма множеств (или сумма по модулю 2) определяется следующим равенством: (вл. 1)....
|
19.09.2021 16:56
|
1 |
376 |
|
Помогите составить клаузу по легенде.
Ваня и Петя — братья-близнецы. Ваня с огромной скоростью...
|
15.09.2021 22:47
|
5 |
1,520 |
|
Опишите множество , которое соответствует закрашенной части диаграммы Венна
|
13.09.2021 01:20
|
3 |
1,615 |
|
y=\bar{{x}_{1}}*\bar{{x}_{2}}+\bar{{x}_{1}}*{x}_{3}+\bar{{x}_{2}}*{x}_{3}
Можно ли сократить...
|
13.09.2021 00:03
|
1 |
585 |
|
Только начал изучать мат логику и предстала вот такая задача: докажите, что множество бесконечных...
|
12.09.2021 21:41
|
5 |
5,587 |
|
Известно, что каждый ученик учит хотя бы один иностранный язык. Английский изучают 28 человек,...
|
09.09.2021 01:00
|
3 |
915 |
|
Нужно перевести в запись знаками :А при условии, что для В, а В влечёт С и А, но А не эквивалентно...
|
08.09.2021 18:56
|
8 |
1,559 |
|
Необходимо упростить формулу множеств.
|
04.09.2021 05:21
|
1 |
1,416 |
|
Включена ли формально теория матлогики в матанализ алгебру и тд , то есть вписаны ли все аксиомы и...
|
23.08.2021 22:18
|
3 |
1,212 |
|
Наверно глупый вопрос, но что-то я не понимаю как построить отрицание суждения А(не все медведи...
|
22.08.2021 20:30
|
5 |
1,503 |
|
Всем доброго времени суток
Помогите, пожалуйста, с задачей.
Вуз можно оценить по трем...
|
22.08.2021 20:13
|
0 |
491 |
|
Хотел спросить знает ли кто-нибудь как пользуясь только формальной логикой доказать принцип...
|
21.08.2021 14:24
|
7 |
1,916 |
|
Добрый день!
Буду рада, если поможете в доказательстве клауз методом Вонга) Мне кажется, что я все...
|
05.08.2021 19:22
|
8 |
2,740 |
|
Добрый день! Не могу разобраться с заданием:
установить доказуемость формулы: A∨A⟶A
|
30.07.2021 23:02
|
4 |
3,207 |
|
Доброго времени суток!
Задание:
Выяснить, равносильны ли приведенные формулы в трёхзначной...
|
30.07.2021 16:26
|
2 |
2,127 |
|
Modus ponens
Доказать для исчисления высказываний:
A→B↦(B→C)→(A→C)
Я воспользовался...
|
30.07.2021 16:25
|
2 |
853 |
|
Здравствуйте!
Я пишу калькулятор логических операций и запутался в их приоритетах.
Есть...
|
29.07.2021 17:35
|
3 |
2,974 |
|
можете пожалуйста кое-что объяснить . Вот например есть утверждение все элементывсе S суть P...
|
27.07.2021 21:52
|
8 |
1,797 |
|
можете объяснить чем импликация отличается от выводимости и что именно подразумевается под знаком...
|
25.07.2021 01:02
|
2 |
1,542 |
|
Все 15 участников некоторого проекта программируют на двух или более из трех приведенных языков...
|
19.07.2021 00:30
|
5 |
2,043 |
|
Желательно поскорее
|
08.07.2021 01:28
|
3 |
2,751 |
|
Здравствуйте. Помогите, пожалуйста, составить словесное описание логических функций "Штрих Шеффера"...
|
04.07.2021 19:55
|
5 |
781 |
|
С помощью кругов Эйлера – Венна изобразить множество
_. _
(B∩A)/C
|
03.07.2021 12:37
|
1 |
1,611 |
|
Привести данную формулу к СДНФ и СКНФ (путем равносильных
преобразований и с помощью таблиц...
|
03.07.2021 11:27
|
1 |
1,081 |
|
Упростите выражение с помощью законов алгебры множеств
|
03.07.2021 11:26
|
1 |
512 |
|
Составьте таблицу истинности для формулы ( x V z)∧y-»z
и укажите, является ли формула выполнимой,...
|
03.07.2021 11:25
|
1 |
450 |
|
Помогите упростить выражение с помощью законов алгебры множеств
|
03.07.2021 11:24
|
1 |
690 |
|
Задайте различными способами множество А, если А – множество всех
отрицательных корней уравнения...
|
03.07.2021 10:25
|
1 |
573 |
|
Известно, что из 90 студентов увлекаются спортом − 17; музыкой – 25;
живописью – 32; спортом и...
|
03.07.2021 10:23
|
0 |
768 |
|
Подскажите, пожалуйста, как решить эту задачу:
Было выдвинуто 3 гипотезы:
Х дешевле всего
Y не...
|
01.07.2021 16:16
|
4 |
2,003 |
|
Здравствуйте. Помогите с заданием, мне нужно определить из приведённых отображений являются ли они...
|
29.06.2021 00:00
|
8 |
3,214 |
|
P = {"знак пустого множества", {знак пустого множества}, 0}. - какое тут кардинальное число?
|
28.06.2021 18:15
|
2 |
1,280 |
|
Здравствуйте. Вот такое задание U=R- универсальное множество, A - множество решений неравенства...
|
26.06.2021 18:26
|
1 |
1,062 |
|
Требуется с помощью теоремы контрапозиции и теоремы дедукции доказать теорему:
У меня...
|
24.06.2021 20:09
|
6 |
2,354 |
|
Добрый день! Мне нужна помощь с задачкой по матлогике.
Задача: (1) Ни один акробатический трюк,...
|
24.06.2021 01:12
|
2 |
727 |
|
На одной из кафедр университета работают 16 человек, среди которых 3 человека не знают ни одного...
|
22.06.2021 18:32
|
2 |
1,731 |
|
Найти СДНФ(А) и СКНФ(А) с помощью равносильных преобразований и таблицы истинности, если
а) А≡...
|
22.06.2021 17:08
|
1 |
2,547 |
|
методом неопределенных коэффициентов представить полином Жегалкина
|
22.06.2021 16:59
|
2 |
1,464 |
|
Нужно преобразовать заданную в базис Шеффера и Пирса
F=ABCD+B(ABC+CD)
Помогите, пожалуйста...
|
22.06.2021 14:43
|
1 |
772 |
| Задать вопрос |
|
IndentationError
|
|
0 |
7612 |
|
Mr. Docker
|
|
0 |
6246 |
|
EggHead
|
|
0 |
7782 |
|
EggHead
|
|
0 |
8437 |
|
EggHead
|
|
0 |
4793 |
|
Javaican
|
|
0 |
2350 |
|
EggHead
|
|
0 |
4390 |
|
Codd
|
|
0 |
8844 |