Форум программистов, компьютерный форум, киберфорум
Наши страницы
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.75/4: Рейтинг темы: голосов - 4, средняя оценка - 4.75
Ярослав(ЕРА)
0 / 0 / 0
Регистрация: 23.09.2011
Сообщений: 6
1

мат. логика

23.09.2011, 11:49. Просмотров 709. Ответов 1
Метки нет (Все метки)

Дали вопросы а я толком ничего непроходил по этому!!
1)Установить эквивалентность формул с помощью таблицы истинности: ¬Pv¬Q и ¬(P^Q)
2)Упростить формулу: (А1→А2) ^(А2→А3)→(А3→А1)
3)Доказать что формула является тавтологией: P^(P→Q) →Q
4) Всем привет! Помогите записать формулу в ДНФ и СДНФ: (PvQ)^(RvS)
0
Лучшие ответы (1)
Similar
Эксперт
41792 / 34177 / 6122
Регистрация: 12.04.2006
Сообщений: 57,940
23.09.2011, 11:49
Ответы с готовыми решениями:

Мат.Логика
Доказать: A⊃(B⊃C),B⊢A⊃C, где А,В,С-формулы исчисления высказываний.

Мат логика
Помогите решить задания. Спасибо. Правила, 5.16, 5.18. Задания набирать...

Мат.логика
Помогите, пожалуйста. не понимаю я мат. логику. 11 и 12 упр.

Мат. логика
До завтра надо решить :( может кто помочь ?

Мат логика
Помогите решить 7,8,9.

1
kazak
3058 / 2379 / 255
Регистрация: 11.03.2009
Сообщений: 5,438
Завершенные тесты: 1
23.09.2011, 15:47 2
Лучший ответ Сообщение было отмечено как решение

Решение

1)
http://www.cyberforum.ru/cgi-bin/latex.cgi?\begin{array}{|c|c||c||c|} P & Q & \bar P \vee \bar Q & \overline {P \wedge Q} \\<br />
\hline<br />
0&0&1&1\\<br />
0&1&1&1\\<br />
1&0&1&1\\<br />
1&1&0&0\\<br />
\end{array}

Добавлено через 7 минут
2)
http://www.cyberforum.ru/cgi-bin/latex.cgi?\left(A1 \rightarrow A2\right)\left(A2 \rightarrow A3\right) \rightarrow \left(A3 \rightarrow A1\right) \Rightarrow \overline {\left(\overline {A1} \vee A2\right)\left(\overline {A2} \vee A3\right)} \vee \overline {A3} \vee A1 \Rightarrow <br />
\overline {\overline {A1} \vee A2} \vee \overline {\overline {A2} \vee A3} \vee \overline {A3} \vee A1 \Rightarrow A1 \overline {A2} \vee A2 \overline {A3} \vee \overline {A3} \vee A1 \Rightarrow A1 \vee \overline {A3}

Добавлено через 2 часа 35 минут
Итак продолжим.
3)
http://www.cyberforum.ru/cgi-bin/latex.cgi?P\left(P \rightarrow Q\right) \rightarrow Q \Rightarrow P\left(\bar P \vee Q\right) \rightarrow Q \Rightarrow \left(P\bar P \vee PQ\right) \rightarrow Q \Rightarrow PQ \rightarrow Q \Rightarrow \overline {PQ} \vee Q \Rightarrow \bar P \vee \bar Q \vee Q \Rightarrow P \vee 1 \Rightarrow 1

Добавлено через 23 минуты
4)
http://www.cyberforum.ru/cgi-bin/latex.cgi?\left(P \vee Q\right)\left(R \vee S\right) \Rightarrow PR \vee PS \vee QR \vee QS - ДНФ

http://www.cyberforum.ru/cgi-bin/latex.cgi?PR \vee PS \vee QR \vee QS \Rightarrow PR\left(Q \vee \bar Q\right)\left(S \vee \bar S\right) \vee PS\left(Q \vee \bar Q\right)\left(R \vee \bar R\right) \vee QR\left(P \vee \bar P\right)\left(S \vee \bar S\right) \vee QS\left(R \vee \bar R\right)\left(P \vee \bar P\right) \Rightarrow<br />
PQRS \vee PQR\bar S \vee P\bar QRS \vee P\bar QR\bar S \vee<br />
PQRS \vee PQ\bar RS \vee P\bar QRS \vee P\bar Q\bar RS \vee<br />
PQRS \vee PQR\bar S \vee \bar PQRS \vee \bar PQR\bar S \vee<br />
PQRS \vee PQ\bar RS \vee \bar PQRS \vee \bar PQ\bar RS \Rightarrow<br />
PQRS \vee PQR\bar S \vee P\bar QRS \vee P\bar QR\bar S \vee PQ\bar RS \vee P\bar Q\bar RS \vee \bar PQRS \vee \bar PQR\bar S \vee \bar PQ\bar RS - СДНФ
4
MoreAnswers
Эксперт
37091 / 29110 / 5898
Регистрация: 17.06.2006
Сообщений: 43,301
23.09.2011, 15:47

МАт. логика
1. Выяснить 2-мя способами(при помощи равносильных преобразований и таблиц...

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

мат.логика
Помогите сделать: 1)построить лог.схему 2)построить переключ. схему ...


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

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

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