Логика - Помощь студентам

Оленька · 06.04.2012, 20:27

Помогите пожалуйста с логикой....
С помощью приведения в нормальную форму определить, является ли формула тождественно истинной:
1.jpg

BDA · 06.04.2012, 21:27

Оленька · 07.04.2012, 00:35

А у меня вот так получилось:
1.jpg

BDA · 07.04.2012, 00:47

Эти замены эквивалентны, поэтому чуть разным путем к правильному ответу.

Оленька · 07.04.2012, 01:27

А можете мне еще вот с такой задачкой помочь, а то я запуталась немного?
Построить совршенную КНФ (если она существует) с помощью алгебрарический преобразований:
1.jpg

BDA · 07.04.2012, 01:53

С помощью алгебраических преобразований не смог построить

(AvBvC)(AvBvC)(AvBvC)(AvBvC) (подчеркнутый - отрицание)

06.04.2012, 20:27	#1
Оленька Регистрация: 27.02.2007 Сообщений: 3	Логика Помогите пожалуйста с логикой.... С помощью приведения в нормальную форму определить, является ли формула тождественно истинной: 1.jpg

06.04.2012, 21:27	#2
BDA МегаМодератор СуперМодератор Регистрация: 09.11.2010 Сообщений: 7,430	Пишите язык программирования - это форум программистов, а не экстрасенсов. (<= это подпись )

07.04.2012, 00:47	#4
BDA МегаМодератор СуперМодератор Регистрация: 09.11.2010 Сообщений: 7,430	Эти замены эквивалентны, поэтому чуть разным путем к правильному ответу. Пишите язык программирования - это форум программистов, а не экстрасенсов. (<= это подпись )

07.04.2012, 01:53	#6
BDA МегаМодератор СуперМодератор Регистрация: 09.11.2010 Сообщений: 7,430	С помощью алгебраических преобразований не смог построить (AvBvC)(AvBvC)(AvBvC)(AvBvC) (подчеркнутый - отрицание) Пишите язык программирования - это форум программистов, а не экстрасенсов. (<= это подпись )

Опции темы	Поиск в этой теме
Версия для печати Отправить по электронной почте	Поиск в этой теме: Расширенный поиск

07.04.2012, 00:35	#3
Оленька Регистрация: 27.02.2007 Сообщений: 3	А у меня вот так получилось: 1.jpg

07.04.2012, 01:27	#5
Оленька Регистрация: 27.02.2007 Сообщений: 3	А можете мне еще вот с такой задачкой помочь, а то я запуталась немного? Построить совршенную КНФ (если она существует) с помощью алгебрарический преобразований: 1.jpg

Похожие темы
Тема	Автор	Раздел	Ответов	Последнее сообщение
Логика предикатов (мат логика 2 задачи)	Deathcube	Помощь студентам	0	27.02.2012 18:28
Логика	evklid	Помощь студентам	2	28.10.2010 12:51
Логика	КоТэ LOvE YoU	Паскаль, Turbo Pascal, PascalABC.NET	4	08.10.2010 23:29
Нужна логика...	EXeplor	Помощь студентам	11	08.05.2010 23:31
ЕГЭ (Логика)	Xcopy	Помощь студентам	6	07.02.2010 18:59