Билеты по логике - файл n1.doc

Билеты по логике
скачать (617.5 kb.)
Доступные файлы (1):

n1.doc

618kb.

04.12.2012 04:18

скачать

---

Смотрите также:
• Билеты по логике (Вопрос)
• Билеты по физике (3 семестр) (Документ)
• Эссе - Парадоксы в логике и математике (Реферат)
• Контрольная работа по Логике (Лабораторная работа)
• Билеты по физике (3 семестр) (Документ)
• Экзаменационные билеты по ФОЭ (Документ)
• Билеты по физкике 2010 год. III семестр (Документ)
• Контрольная - Формальная логика (Лабораторная работа)
• Контрольная работа по логике (Лабораторная работа)
• Билеты по физике (Документ)
• Шпаргалка по логике (Шпаргалка)
• Контрольная работа - Задачи по логике (Лабораторная работа)

n1.doc

Третий этап

(	(	А		В	)	˄	(	¬	В	˅	С	)	)		(	А		С	)
		1		1							1
		1		1							0
		1		0							1
		1		0							0
		0		1							1
		0		1							0
		0		0							1
		0		0							0

Теперь полностью заполним входную часть: под одинаковыми переменными должны стоять одинаковые значения истинности, а, поскольку перед В имеется знак отрицания во второй скобке, то сразу применим операцию отрицания и изменим значение истинности в соответствии с действием оператора отрицания. В итоге получим:

(	(	А		В	)	˄	(	¬	В	˅	С	)	)		(	А		С	)
		1		1				0			1					1		1
		1		1				0			0					1		0
		1		0				1			1					1		1
		1		0				1			0					1		0
		0		1				0			1					0		1
		0		1				0			0					0		0
		0		0				1			1					0		1
		0		0				1			0					0		0

Следующим шагом определим значение истинности выражения ((АВ) в соответствии с действием оператора импликации. Таблица примет следующий вид:

(	(	А		В	)	˄	(	¬	В	˅	С	)	)		(	А		С	)
		1	1	1				0			1					1		1
		1	1	1				0			0					1		0
		1	0	0				1			1					1		1
		1	0	0				1			0					1		0
		0	1	1				0			1					0		1
		0	1	1				0			0					0		0
		0	1	0				1			1					0		1
		0	1	0				1			0					0		0

Проделаем ту же операцию для выражения (¬В˅С). Таблица примет вид:

(	(	А		В	)	˄	(	¬	В	˅	С	)	)		(	А		С	)
		1	1	1				0		1	1					1		1
		1	1	1				0		0	0					1		0
		1	0	0				1		1	1					1		1
		1	0	0				1		1	0					1		0
		0	1	1				0		1	1					0		1
		0	1	1				0		0	0					0		0
		0	1	0				1		1	1					0		1
		0	1	0				1		1	0					0		0

---