| Задать вопрос |
|
Доказать следующую равносильность:
C v ∀xA(x) = ∀x(C v A(x))
Добавлено через 15 минут
В данном...
|
07.05.2020 17:53
|
1 |
1,325 |
|
|
Не знаю как решить задачку)
Правила форума, пункт 5.18. Запрещено размещать задания и решения в...
|
07.05.2020 16:30
|
4 |
1,142 |
|
|
|
07.05.2020 08:26
|
5 |
541 |
|
|
Записать формально следующее рассуждение на языке логики высказываний и
доказать его...
|
06.05.2020 22:09
|
3 |
2,446 |
|
|
Здравствуйте! У меня было большое задание - разработать конечный автомат, затем, используя карты...
|
06.05.2020 20:23
|
7 |
1,161 |
|
|
Добрый день! Помогите записать выражения на языке предикатов, до сих пор не могу понять как это...
|
05.05.2020 22:51
|
11 |
5,378 |
|
|
Нужно написать формулу , которая подходила бы к 1 алгебраической системе
и не подходила ко 2...
|
05.05.2020 15:22
|
1 |
2,617 |
|
|
Т.е будет ли |∃xP(x)= ∀x(|P(x)) и |∀xP(x)= ∃x(|P(x))
Пожалуйста, напишите только конкретно ответ...
|
04.05.2020 01:31
|
0 |
640 |
|
|
Если ∀x(P(x))=1, то ∀x(|P(x)) будет равно 0 или 1?
|
04.05.2020 01:03
|
3 |
645 |
|
|
B = {3,4}.
Множество B является подмножеством пустого множества?
Добавлено через 11 минут
С...
|
03.05.2020 21:26
|
2 |
2,093 |
|
|
Запишите высказываемую форму (предикат), область истинности которой внутри цилиндра (поверхность...
|
03.05.2020 20:33
|
4 |
512 |
|
|
Написано что нужно их доказать, хотябы половину
1. Ɐx(A→B(x))=A→ⱯxB(x)
del
Правила форума...
|
03.05.2020 18:23
|
3 |
535 |
|
|
Здравствуйте! Столкнулся с проблемой в задании и не могу её решить уже более трёх часов.
Суть...
|
03.05.2020 14:28
|
7 |
3,710 |
|
|
схема
|
03.05.2020 02:11
|
1 |
500 |
|
|
Докажите, что справедлива следующая равносильность: |∃xP(x)= ∀x(|P(x))
Доказать аналогично тому,...
|
03.05.2020 00:36
|
3 |
2,882 |
|
|
Составить релейно-контактные схемы для функции, считая, X →Y ~ ¬X ∨Y .
(X → (Y →Z)) → (Y → ¬X)
|
02.05.2020 13:26
|
4 |
4,235 |
|
|
Проанализируйте следующие рассуждения и выясните, являются ли они справедливыми (использовать...
|
29.04.2020 17:08
|
1 |
763 |
|
|
2. Преобразуйте формулу алгебры высказывания к ДНФ, используя равносильные преобразования. (1...
|
29.04.2020 04:48
|
4 |
1,206 |
|
|
Помогите упростить множество C⋃(A⋂B)⋃(notA ⋂ notB)
|
28.04.2020 11:30
|
2 |
746 |
|
|
Сохранится ли полнота метода резолюций, если не использовать правило склейки?
Спасибо !
|
28.04.2020 01:42
|
7 |
902 |
|
|
Данную формулу логики предикатов (ЛП) привести к предваренной нормальной форме.
...
|
28.04.2020 01:03
|
2 |
1,146 |
|
|
Методом неопределенных коэффициентов построить полином Жегалкина для функции от 3-х переменных с...
|
27.04.2020 06:36
|
9 |
8,527 |
|
|
Здравствуйте. Сейчас изучаю ДНФ. Нужна помощь с формулой
((X→Y)∧¬Z)→(X∨(X↔Z))
Напишите пожалуйста...
|
27.04.2020 02:15
|
5 |
3,501 |
|
|
На множестве вещественных чисел R найти множества истинности предикатов P\wedge Q, P\Rightarrow Q,...
|
26.04.2020 12:59
|
0 |
523 |
|
|
a) (P⇒Q)⇔(¬Q⇒¬P)
b) (¬X⇒Y)∨¬(X⇒Y)
|
26.04.2020 09:56
|
1 |
1,616 |
|
|
Ввести необходимые предикаты и построить
формулу алгебры предикатов, выражающую следующее...
|
25.04.2020 16:49
|
3 |
1,193 |
|
|
Здравствуйте. Помогите, пожалуйста, с заданиями:
Найти сокращённую ДНФ методом минимизирующих карт...
|
24.04.2020 10:49
|
3 |
1,845 |
|
|
Здравствуйте. Помогите, пожалуйста, с заданием:
Упростите схемы. Сама схема лежит в этом файле:
|
24.04.2020 10:14
|
2 |
1,344 |
|
|
Записать данное положение с помощью формул:
задача должна быть сформулированной (В) и иметь...
|
23.04.2020 16:35
|
3 |
465 |
|
|
|
23.04.2020 16:31
|
1 |
464 |
|
|
Доказать, что (А \ В) \ С = А \ ( В U С)
|
23.04.2020 02:47
|
2 |
1,331 |
|
|
Задать последовательность переходов для кода Грэя с пятью разрядами
|
22.04.2020 21:00
|
5 |
1,556 |
|
|
Воспользовавшись законами алгебры множеств максимально упростите заданное в таблице алгебраическое...
|
22.04.2020 20:22
|
1 |
2,146 |
|
|
Задание
С помощью равносильных преобразований доказать равносильность формул.
Например, в первом...
|
22.04.2020 20:08
|
0 |
627 |
|
|
Определить множество (если это возможно), на которой данное
отношение являются: а) функциональным;...
|
22.04.2020 19:54
|
0 |
293 |
|
|
5.В группе 15 человек знают английский язык, 16 человек знают немецкий
язык, 20 человек знают...
|
22.04.2020 15:30
|
4 |
1,395 |
|
|
Запишите множества, получаемые в результате следующей операции ( не шарю вообще в этом.дз нужно...
|
22.04.2020 05:18
|
3 |
725 |
|
|
В вершинах квадрата помещаются бусинки двух цветов. Сколько неэквивалентных расположений возможно...
|
21.04.2020 17:50
|
5 |
1,714 |
|
|
Найти число Булевских комбинаций для трех множеств А, В,С.
Сначала сделал так: 23 = 8 булевских...
|
21.04.2020 17:30
|
6 |
1,906 |
|
|
Здравствуйте! Необходимо было исходную минДНФ привести к базису ИЛИ (и построить на 2ИЛИ-НЕ...
|
20.04.2020 18:21
|
1 |
781 |
|
|
1)R1 «иметь один и тот же остаток от деления на 5»; M1 множество натуральных чисел.
2)R2 «быть...
|
20.04.2020 18:16
|
1 |
2,781 |
|
|
Помогите пожалуйста. Не знаю как из полученной таблицы истиности составить логическую формулу....
|
20.04.2020 15:10
|
0 |
727 |
|
Ребят, помогите решить 4 небольших задания! Очень надо, но сама ничего не понимаю! Желательно...
|
19.04.2020 12:59
|
0 |
560 |
|
|
Добрый день! Не могу понять, как перейти к СКНФ не через таблицу, а через эквивалентные...
|
18.04.2020 18:47
|
10 |
3,609 |
|
|
Здравствуйте. Не знаю сюда ли я обращаюсь, но прошу помощи в решении такого задания
В базисах...
|
18.04.2020 11:09
|
0 |
729 |
|
|
Помогите ПОДРОБНО минимизировать СДНФ (без использования карты Карно)....
|
17.04.2020 16:49
|
1 |
455 |
|
|
Прошу помочь с упрощением СДНФ:
(¬x2 x1 ¬x0) + (x2 ¬x1 ¬x0) + (x2 ¬x1 x0) + (x2 x1 x0)
|
17.04.2020 16:33
|
4 |
834 |
|
|
A= (⌐(⌐xz)→xz)v x
У меня много таких еще формул, нужна одна готовая для примера, буду очень...
|
17.04.2020 01:38
|
2 |
561 |
|
|
A\Delta B=C\Leftrightarrow B\Delta C=A\Leftrightarrow C\Delta A=B
|
16.04.2020 20:06
|
1 |
455 |
|
|
Показать, что заглавные буквы латинского алфавита нельзя представить однозначно...
|
15.04.2020 23:33
|
8 |
923 |
| Задать вопрос |
|
IndentationError
|
|
0 |
7753 |
|
|
Mr. Docker
|
|
0 |
6410 |
|
|
EggHead
|
|
0 |
7906 |
|
|
EggHead
|
|
0 |
8681 |
|
|
EggHead
|
|
0 |
4886 |
|
|
Javaican
|
|
0 |
2434 |
|
|
EggHead
|
|
0 |
4522 |
|
|
Codd
|
|
0 |
9065 |
