4 / 4 / 0
Регистрация: 19.01.2014
Сообщений: 24
1

Используя основные эквивалентности исчисления высказываний

19.01.2014, 15:38. Показов 1211. Ответов 7
Метки нет (Все метки)

Студворк — интернет-сервис помощи студентам
Один пример вроде решил проверьте пожалуйста правильно я все сократил
Вложение 355865
А со вторым вообще ниче не получается, незнаю даже с чего начать, + есть буква С которой в конце недолжно быть, как она может сократиться если она одна в примере???
Вложение 355869
 Комментарий модератора 

Правила, 5.18. Запрещено размещать задания и решения в виде картинок и других файлов с их текстом.

Задания набирать ручками. Один вопрос - одна тема. Для формул есть редактор.

Рекомендации по созданию темы
Редактор формул
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
19.01.2014, 15:38
Ответы с готовыми решениями:

Используя основные эквивалентности исчисления высказываний, проверить равенство
Используя основные эквивалентности исчисления высказываний, проверить равенства: 1) \(AB \vee A...

Используя основные эквивалентности исчисления высказываний, проверить равенства
Используя основные эквивалентности исчисления высказываний, проверить равенства: 2) \(B \bar{C}...

Используя основные эквивалентности и соотношения докажите эквивалентность формул V и U:
Распишите все этапы плиз. я плохо в этом разбераюсь Правила форума :rtfm: Правила, 5.18....

Упростите формулу логики высказываний, используя основные равносильности между формулами
Упростите формулу логики высказываний, используя основные равносильности между формулами. A&C v...

7
7483 / 4147 / 474
Регистрация: 25.08.2012
Сообщений: 11,529
Записей в блоге: 11
19.01.2014, 16:36 2
1. https://www.cyberforum.ru/cgi-bin/latex.cgi?=\bar{b}c +bc = c - верно
1
Ушел с форума
Автор FAQ
15894 / 7468 / 1013
Регистрация: 11.11.2010
Сообщений: 13,450
19.01.2014, 16:52 3
  1. https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A}\bar{B}C+A\bar{B}C+ABC+\bar{A}BC=\bar{B}C(\bar{A}+A)+BC(A+\bar{A})=C(\bar{B}+B)=C
  2. https://www.cyberforum.ru/cgi-bin/latex.cgi?AD+AB\bar{D}+\bar{A}CD+\bar{AB}D+B\bar{D}=AD+B\bar{D}(A+1)+\bar{A}CD+(\bar{A}+\bar{B})D=
    https://www.cyberforum.ru/cgi-bin/latex.cgi?=B\bar{D}+\bar{A}CD+D(A+\bar{A})+\bar{B}D=B\bar{D}+D(\bar{A}C+1+\bar{B})=B+D
2
7483 / 4147 / 474
Регистрация: 25.08.2012
Сообщений: 11,529
Записей в блоге: 11
19.01.2014, 16:59 4
Если не напутал, то
https://www.cyberforum.ru/cgi-bin/latex.cgi?=ad+ab\bar{d}+\bar{a}cd +\bar{a}d+\bar{b}d=ad +ab\bar{d} +\bar{a}d+\bar{b}d=d+ab\bar{d}=\bar{\bar{ab\bar{d}}\bar{d}}=ab+d
1
4 / 4 / 0
Регистрация: 19.01.2014
Сообщений: 24
19.01.2014, 17:21  [ТС] 5
Mikl___, Спасибо, с первым ваш вариант куда проще моего.
а вот со вторым я не понял(, как у вас это все получилось после второго = ???
https://www.cyberforum.ru/cgi-bin/latex.cgi?B\bar{D}+\bar{A}CD+D(A+\bar{A})+\bar{B}D=B\bar{D}+D(\bar{A}C+1+\bar{B})=B+D

Добавлено через 3 минуты
Я ещё сам попробовал решить мой вариант, так можно вообще сокращать? я сраза сократил https://www.cyberforum.ru/cgi-bin/latex.cgi?AB\bar{D}+\bar{AB}D

осталось https://www.cyberforum.ru/cgi-bin/latex.cgi?AD+\bar{A}CD+B\bar{D}=(D+CD)+B\bar{D}=D+B\bar{D}=B+D
0
Ушел с форума
Автор FAQ
15894 / 7468 / 1013
Регистрация: 11.11.2010
Сообщений: 13,450
19.01.2014, 17:26 6
  1. https://www.cyberforum.ru/cgi-bin/latex.cgi?A+1=1
  2. https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar{A}B+A=B+A
1
4 / 4 / 0
Регистрация: 19.01.2014
Сообщений: 24
19.01.2014, 17:29  [ТС] 7
OldFedor, вы пропустили букву B, https://www.cyberforum.ru/cgi-bin/latex.cgi?AD+AB\bar{D}+\bar{A}CD+\bar{AB}D+B\bar{D}=B+D
и ответ должен быть https://www.cyberforum.ru/cgi-bin/latex.cgi?=B+D
0
OldFedor
19.01.2014, 17:35     Используя основные эквивалентности исчисления высказываний
  #8

Не по теме:

Цитата Сообщение от LexaVRN Посмотреть сообщение
вы пропустили букву B
Увидел, но уже поздно.

1
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
19.01.2014, 17:35

Перевести на язык исчисления высказываний
14 По поводу погоды были высказаны предположения: 14.1. Если погода будет пасмурной, то для того,...

Как вывести 6-ю аксиому исчисления высказываний?
Как вывести 6ю аксиому исчисления высказываний из 1ой, 2ой и 10ой?

Вывести эту формулу в теории исчисления высказываний
U->B, P->Q |- (U^P)->(B^Q) помогите пожалуйста решить, срочно нужно

основные понятия логики высказываний
Помогите с мат. лог. не дружу с ней:cry: ((((


Искать еще темы с ответами

Или воспользуйтесь поиском по форуму:
8
Ответ Создать тему
Опции темы

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin
Copyright ©2000 - 2023, CyberForum.ru