Мат. логика и множества

Форум программистов и сисадминов Киберфорум

Войти

Регистрация
Восстановить пароль

Другие темы раздела
Логика и множества Примитивно рекурсивные функции https://www.cyberforum.ru/ mathematical-logic-sets/ thread2250435.html Здравствуйте, очень нужна помощь. Существуют ли примитивно-рекурсивные функции для решения следующей задачи? Если да, то привести алгоритм, если – нет, то обосновать. Задача: найти наименьшее простое число, следующее за n.	Логика и множества Доказать вычислимость следующих функций Помогите пожалуйста выполнить задание: Докажите вычислимость следующих функций: f(x,y) = \|x-y\|
Логика и множества Логичным методом доказать тождество https://www.cyberforum.ru/ mathematical-logic-sets/ thread2249419.html Ребя подскажите как сделать кто знает? A\(B\C)=(A\B) ∪(А∩С)	Логика и множества Доказать, что имеет место выводимость Дано: {F→(F→H)} ⊢ F→G. Доказать, что имеет место выводимость. Можно использовать аксиомы, m.p, теорему дедукции и тд. https://www.cyberforum.ru/ mathematical-logic-sets/ thread2249304.html
Найти множество истинности для двуместных предикатов Логика и множества Найти множество истинности для двуместных предикатов, заданных на на указанном множестве своих переменных. Сравнить предикаты P1(x, y) и P2(x^2, y) →P(y,x), если задана высказывательная форма /y делится на x/ M ={2,3,6,8}; M1 ={2,3,6,9}	Логика и множества Является ли полной функция, образует ли она базис https://www.cyberforum.ru/ mathematical-logic-sets/ thread2249239.html Помогите прошу Является ли полной функция? Образует ли она базис? Добавлено через 3 минуты Вот формула J ={ x ˅ y, ¬x ⊕ y};
Логика и множества Исключите знаки импликации в приведенных формулах https://www.cyberforum.ru/ mathematical-logic-sets/ thread2248895.html 3.10. Исключите знаки импликации в приведенных формулах. При этом отрицание должно быть отнесено к исходным высказываниям. Постройте соот- ветствующие комбинационные схемы: а) a-->(y-->z) б)(x->y)-->z(не z) в)(x✓y)-->z ✓- объединение неz - логическое отрицание над z	Логика и множества Назовите известные Вам отношения на следующих множествах 3.27. Назовите известные Вам отношения на следующих множествах г) множество людей
Логика и множества Может ли выполниться набор условий? 1.1 Справедливо ли в общем случае утверждение: если А∈В и В ⊆С и С∈D то А⊆D? 1.2 Может ли при некоторых A, B, C, D, выполниться набор условий: А∈В и В ⊆С и С∈D и А⊆D? https://www.cyberforum.ru/ mathematical-logic-sets/ thread2248498.html	Логика и множества Доказать утверждение о непустом конечном множестве Доказать, что ∅×A=∅, A⊆A×A, где A – любое непустое конечное множество. https://www.cyberforum.ru/ mathematical-logic-sets/ thread2248284.html
Проверить правильность логического рассуждения Логика и множества “Если вещество обладает свойством А и свойством В, то оно обладает так же и свойством С; если наблюдаются свойства В и D, то имеет место также и свойство А и свойство С; если вещество обладает свойством В, но не обладает свойством А, то оно обладает также или свойством А или свойством D; если свойство В имеет место и свойство С отсутствует, то свойство А также отсутствует. Следовательно, если...	Логика и множества Максимально упростите выражение своего варианта, воспользовавшись законами логики Буля https://www.cyberforum.ru/ mathematical-logic-sets/ thread2247215.html Максимально упростите выражение своего варианта, воспользовавшись законами логики Буля. Затем с помощью таблиц истинности сравните ваше упрощенное выражение с исходным. апостроф означает инверсию,пАмАгите ((a+(d'b))((a'(b'+d))+c))+c'+(a+(bd'))

Mikl___

Ушел с форума

16161 / 7499 / 1031

Регистрация: 11.11.2010

Сообщений: 13,498

23.05.2018, 14:09

На основе законов алгебры логики докажите справедливость тождеств - Логика и множества - Ответ 12413742

23.05.2018, 14:09. Показов 2156. Ответов 1

Метки (Все метки)

Ответ

$https://www.cyberforum.ru/cgi-bin/latex.cgi?((a|b)|(a\leftrightarrow b))|((c\oplus{d})\rightarrow (d\wedge\bar{c}))=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=((\bar{ab})|(\bar{a}\bar{b}+ab))|(\bar{(\bar{c}d+c\bar{d})}+d\bar{c})=(\bar{(\bar{ab})(\bar{a}\bar{b}+ab)}|((\bar{c}\bar{d}+cd)+d\bar{c})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{\bar{ab}}+\bar{(\bar{a}\bar{b}+ab)})|(\bar{c}\bar{d}+d(c+\bar{c}))=(a(b+\bar{b})+\bar{a}b)|(\bar{c}\bar{d}+d)=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(a+\bar{a}b)|(\bar{c}+d)=\bar{(a+b)(\bar{c}+d)}=\bar{(a+b)}+\bar{(\bar{c}+d)}=\bar{a}\bar{b}+c\bar{d}$

$https://www.cyberforum.ru/cgi-bin/latex.cgi?((b\rightarrow c)\rightarrow (a\wedge\bar{c}))\downarrow((a|d)|(d\rightarrow\bar{b}))=(\bar{(\bar{b}+c)}+a\bar{c})\downarrow(\bar{\bar{(ad)}\bar{(\bar{d}+\bar{b})}})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(b\bar{c}+a\bar{c})+\bar{(\bar{a}+\bar{d}+\bar{d}+\bar{b}})}=\bar{(b\bar{c}+a\bar{c})+\bar{(\bar{a}+\bar{d}+\bar{b}})}=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{(b+a)\bar{c}+adb}=\bar{(b+a)\bar{c}}\bar{adb}=(\bar{(b+a)}+c)(\bar{a}+\bar{d}+\bar{b})=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=(\bar{b}\bar{a}+c)(\bar{a}+\bar{d}+\bar{b})=\bar{b}\bar{a}+\bar{b}\bar{a}\bar{d}+\bar{b}\bar{a}+\bar{a}c+\bar{d}c+\bar{b}c=\bar{b}\bar{a}(1+\bar{d})+\bar{a}c+\bar{d}c+\bar{b}c=$
$https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{b}\bar{a}+\bar{a}c+\bar{d}c+\bar{b}c$

Вернуться к обсуждению:
На основе законов алгебры логики докажите справедливость тождеств Логика и множества

Programming

Эксперт

94731 / 64177 / 26122

Регистрация: 12.04.2006

Сообщений: 116,782

23.05.2018, 14:09

Готовые ответы и решения:

На основе формул взаимосвязи между логическими операциями докажите справедливость нижеприведенных тождеств
На основе формул взаимосвязи между логическими операциями докажите справедливость нижеприведенных...

Докажите справедливость тождеств
4) Аналитическим способом, т.е. на основе формул взаимосвязи между логическими операциями,...

Аналитическим способом докажите справедливость тождеств
Аналитическим способом, т.е. на основе формул в зависимости между логическими операциями, докажите...

Упростить переключательную функцию с помощью законов алгебры логики
Подскажите пожалуйста, как упростить переключательную функцию Z=f(a,b,c...) с помощью законов...

IT_Exp

Эксперт

87844 / 49110 / 22898

Регистрация: 17.06.2006

Сообщений: 92,604

23.05.2018, 14:09

Помогаю со студенческими работами здесь

Определить с помощью законов алгебры логики тип ФЛВ
Определить с помощью законов алгебры логики тип ФЛВ: (x → y)→(¬y→¬x)

Доказать справедливость тождеств
Помогите плиз. Доказать справедливость тождеств: a) (A∪B) \B=A\B; b) A\(B∩A) =A\B;

Доказать справедливость тождеств
доказать справедливость тождеств: (A\B) \bigcup B = A \Leftrightarrow B \subseteq A

Доказать справедливость тождеств
Доказать справедливость тождеств я чет ни как не пойму как доказывать :С

Наверх