Привести формулу к КНФ / Доказать равносильность формул SOS - Помощь студентам

bolvanka · 15.01.2014, 20:57

Ребят, помогите пожалуйста решить эти два задания.С другими я справилась.Самое страшное, что мне завтра надо до обеда их преподавателю показать SOS

1. Доказать равносильность формул:
(¬X & Y & Z) v (¬X & ¬Y & Z) v (Y & Z) и (¬XvY)&Z

2. Привести формулы к КНФ:
¬(X&Y → ХvZ)

b2soft · 15.01.2014, 21:08

1.каким методом первое решать? таблицей истинности? тожд. преобразованиями?
2. уточните, Y->X или (X&Y)->(XvZ)

bolvanka · 15.01.2014, 21:22

1.если честно не знаю
2.Y→X

b2soft · 15.01.2014, 21:58

пожалуйста уточните задание, а то решение второго - ноль (проверял вроде)

¬(X&Y → ХvZ) = ¬(¬(X&Y)+X+Z))=¬(¬X+¬Y+X+Z)=¬1=0

и вот первое, через таблицы истинности

bolvanka · 15.01.2014, 22:42

ОГРОМНОЕ ЧЕЛОВЕЧЕСКОЕ СПАСИБО!Я все дословно написала как в билете,но ошибка не исключена

15.01.2014, 20:57	#1
bolvanka Новичок Джуниор Регистрация: 15.01.2014 Сообщений: 3	Привести формулу к КНФ / Доказать равносильность формул SOS Ребят, помогите пожалуйста решить эти два задания.С другими я справилась.Самое страшное, что мне завтра надо до обеда их преподавателю показать SOS 1. Доказать равносильность формул: (¬X & Y & Z) v (¬X & ¬Y & Z) v (Y & Z) и (¬XvY)&Z 2. Привести формулы к КНФ: ¬(X&Y → ХvZ)

15.01.2014, 21:08	#2
b2soft Упртй программер Форумчанин Регистрация: 26.11.2009 Сообщений: 150	1.каким методом первое решать? таблицей истинности? тожд. преобразованиями? 2. уточните, Y->X или (X&Y)->(XvZ) Помощь с кодом/лабами по С/С++ Контакты: ICQ 623334555 Skype: btwosoft; Mail: b2soft@yandex.ru

15.01.2014, 21:58	#4
b2soft Упртй программер Форумчанин Регистрация: 26.11.2009 Сообщений: 150	пожалуйста уточните задание, а то решение второго - ноль (проверял вроде) ¬(X&Y → ХvZ) = ¬(¬(X&Y)+X+Z))=¬(¬X+¬Y+X+Z)=¬1=0 и вот первое, через таблицы истинности Помощь с кодом/лабами по С/С++ Контакты: ICQ 623334555 Skype: btwosoft; Mail: b2soft@yandex.ru Последний раз редактировалось b2soft; 15.01.2014 в 22:14.

Похожие темы
Тема	Автор	Раздел	Ответов	Последнее сообщение
Доказать тождество.Паскаль	Ultar	Помощь студентам	13	08.06.2016 21:58
Привести любую формулу на языке предикатов 1го порядка к СКНФ (C# / Prolog).	emppu2007	Фриланс	0	11.06.2011 13:54
Prolog. Перевод ДНФ в КНФ.	Marteen	Помощь студентам	0	19.04.2011 15:37
[Алгоритм]преобразование к приведенной КНФ	Вясеслав	Помощь студентам	0	23.11.2009 21:42
Как разьяснить\доказать	HellMercenaries	Свободное общение	15	28.07.2009 15:02

15.01.2014, 21:22	#3
bolvanka Новичок Джуниор Регистрация: 15.01.2014 Сообщений: 3	1.если честно не знаю 2.Y→X

15.01.2014, 22:42	#5
bolvanka Новичок Джуниор Регистрация: 15.01.2014 Сообщений: 3	ОГРОМНОЕ ЧЕЛОВЕЧЕСКОЕ СПАСИБО!Я все дословно написала как в билете,но ошибка не исключена