Форум программистов, компьютерный форум, киберфорум
Мат. логика и множества
Войти
Регистрация
Восстановить пароль
 
Рейтинг 4.84/37: Рейтинг темы: голосов - 37, средняя оценка - 4.84
0 / 0 / 0
Регистрация: 23.09.2011
Сообщений: 6
1

Составить таблицу истинности для формулы

21.10.2011, 09:30. Показов 7714. Ответов 3
Метки нет (Все метки)

1)Составить таблицу истинности для формулы: (Pv¬Q)->¬P
2)УВстановить эквивалентность формул с помощью таблицы истинности: Pv(¬Pv¬Q) и P
3)Упростить формулу: A2^(A1v¬A2)
4)Записать формулу в ДНФ и СДНФ: P^Q->(P->¬Q)
5)Доказать что формула является тавтологией: (P->Q)<->¬(P^¬Q)
__________________
Помощь в написании контрольных, курсовых и дипломных работ здесь
0
Programming
Эксперт
94731 / 64177 / 26122
Регистрация: 12.04.2006
Сообщений: 116,782
21.10.2011, 09:30
Ответы с готовыми решениями:

Составить таблицу истинности для формулы
Составить таблицу истинности для формулы: X˄Y ̅˅X˄Z ̅↔(X→Y)˄(X→Z) Помогите решить. Заранее...

Составить таблицу истинности для формулы
составить таблицу истинности формулы:

составить таблицу истинности формулы
составить таблицу истинности формулы

Составьте таблицу истинности для формулы
Составить таблицу истинности для формулы и установить, является ли формула тождественно истинной...

3
0 / 0 / 0
Регистрация: 23.09.2011
Сообщений: 6
22.10.2011, 20:04  [ТС] 2
Помогите пожалуйста!!
0
6 / 6 / 3
Регистрация: 30.08.2011
Сообщений: 32
23.10.2011, 22:38 3
Во втором вопросе будет только единица при любых значениях P и Q. Pv(¬Pv¬Q)=(Pv¬P)v(Pv¬Q)=1vPv¬Q=1
3) A2^(A1v¬A2)=(A2^A1)v(A2^¬A2)=(A2^A1)v0=A2^A1
1) P|Q|¬Q|Pv¬Q|¬P|(Pv¬Q)->¬P
0|0| 1 | 1 | 1 | 1
1|0| 1 | 1 | 0 | 0
0|1| 0 | 0 | 1 | 1
1|1| 0 | 1 | 0 | 0

Добавлено через 19 минут
4) P^Q->(P->¬Q)
Вспомним, что A->B=¬AvB, отсюда P->¬Q=¬PV¬Q и P^Q->(P->¬Q)=¬(P^Q)v(¬PV¬Q)=(¬PV¬Q)v(¬PV¬Q)=¬PV¬Q это СДНФ
СКНФ, если не ошибаюсь, будет ¬(P^Q)
1
3083 / 2404 / 255
Регистрация: 11.03.2009
Сообщений: 5,444
24.10.2011, 00:06 4
Цитата Сообщение от Ланселот Посмотреть сообщение
это СДНФ
это СКНФ, СДНФ будет
https://www.cyberforum.ru/cgi-bin/latex.cgi?\bar P \vee \bar Q = \bar P(\bar Q \vee Q) \vee \bar Q(\bar P \vee P) = \bar P \bar Q \vee \bar PQ \vee P\bar Q
2
IT_Exp
Эксперт
87844 / 49110 / 22898
Регистрация: 17.06.2006
Сообщений: 92,604
24.10.2011, 00:06

Построить таблицу истинности для формулы
Здравствуйте Задание такое:построить таблицу истинности для формулы Беда в том, что я не...

Составьте таблицу истинности для логической формулы
Помогите пожалуйста решить задание. Вот, забыл прикрепить.

По схеме составить лог выражение и составить для нее таблицу истинности
по схеме составить лог выражение и составить для нее таблицу истинности, по мо ги тееее товарищи((

Составить таблицу истинности для функции
Помогите пожалуйста составить таблицу истинности для функции: f(x;y;z)=(xz')V(z(yVz'))


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

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

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