Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Ultras32
1 / 1 / 0
Регистрация: 15.01.2013
Сообщений: 42
1

Выяснить двумя способами, является ли данная формула тавтологией

31.03.2013, 18:34. Просмотров 400. Ответов 2
Метки нет (Все метки)

1. Выяснить 2-мя способами(при помощи равносильных преобразований и таблиц истинности) являются ли данная формула тавтологией:http://www.cyberforum.ru/cgi-bin/latex.cgi?(P\rightarrow R)\rightarrow (P\vee Q\rightarrow R\vee Q)
2. Создать СДНФ 2-мя способами:
http://www.cyberforum.ru/cgi-bin/latex.cgi?(x\rightarrow (y\rightarrow z))\rightarrow ((x\rightarrow y)\rightarrow (x\rightarrow z))
0
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
31.03.2013, 18:34
Ответы с готовыми решениями:

Доказать двумя способами,что следующая формула является тождественно истинной (тавтологией)
Доказать двумя способами,что следующая формула является тождественно истинной (тавтологией):...

Докажите, что данная формула является тавтологией
Здравствуйте, кто нибудь помогите доказать, что данная формула \left(\left(A\rightarrow B...

Является ли формула тавтологией
((p\supset q)&(q\supset p)&(p v r)&\dashv r)\supset p

Является ли формула тавтологией
Помогите решить еще одну задачу: Является ли формула тавтологией (a->b)->c<=>(a^неb)vc ...

Является ли тавтологией формула
Является ли данная формула тавтологией? ((P ⊃Q) & (R ⊃Q) & (T ⊃ (P ∨ R)) & ¬T) ⊃ Q?

2
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
01.04.2013, 10:03 2
1) равносильные преобразования
http://www.cyberforum.ru/cgi-bin/latex.cgi?(P \rightarrow R) \rightarrow (P \vee Q \rightarrow R \vee Q) =  (\bar {\bar P \vee R}) \vee (\bar {P \vee Q} \vee R \vee Q) =<br />
P\bar R \vee \bar P\bar Q \vee R \vee Q = P \vee \bar P\bar Q \vee R \vee Q = \bar Q \vee R \vee Q = 1
0
Ultras32
1 / 1 / 0
Регистрация: 15.01.2013
Сообщений: 42
01.04.2013, 17:37  [ТС] 3
Пасиб)
0
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
01.04.2013, 17:37

Является ли тавтологией формула
Является ли тавтологией формула ((P ⊃Q) &amp; (R ⊃Q) &amp; (T ⊃ (P ∨ R)) &amp; ¬T) ⊃ Q?

Является ли формула тавтологией?
6. Является формула \exists x\forall yQ(x,y)\rightarrow\forall y\exists xQ(x,y) тавтологией?

Является ли формула тавтологией?
Является ли формула ((p ⊃ q) &amp; (q ⊃ p) &amp; (p ∨ r) &amp; ¬r) ⊃p тавтологией?


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

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

КиберФорум - форум программистов, компьютерный форум, программирование
Powered by vBulletin® Version 3.8.9
Copyright ©2000 - 2018, vBulletin Solutions, Inc.
Рейтинг@Mail.ru