Упростить формулы.

@grandmasterus · Регистрация: 20.04.2011

Author24 — интернет-сервис помощи студентам

Помогите упростить логические выражения.

Заранее спасибо!

@Владимир_ВМ · 16.04.2012, 22:37

1) (X1v¬X2)(¬X1v¬X2)(X2v¬X3)=((X1¬X2)v(¬X1¬X2)v¬X2)(X2v¬X3)=(¬X2v¬X2)(X2v¬X3)=¬X2(X 2v¬X3)=¬X2¬X3
2) (X1¬X2)v(¬X1v¬X2)v(X2X3)=(X1¬X2)v¬X1v¬X2v(X2X3)=¬X1v¬X2v(X2X3)
3) (a¬b)v(a¬c)v(b¬c)vc=a(¬bv¬c)v(b¬c)vc
А дальше думаю таблицу истинносит вы составить сможете.

@grandmasterus · 17.04.2012, 00:45 **[ТС]**

Таблицу составить смогу. Пока ждал - сам почти разобрался с законами.

Спасибо!

@Владимир_ВМ · 17.04.2012, 00:53

Это же хорошо что сами разобрались.)

@grandmasterus · 17.04.2012, 01:02 **[ТС]**

Конечно хорошо, сам удивляюсь как все оказывается просто =)

@grandmasterus 0 / 0 / 0 Регистрация: 20.04.2011 Сообщений: 17
		1
	Упростить формулы. 16.04.2012, 21:24. Показов 1201. Ответов 4 Метки нет (Все метки) Помогите упростить логические выражения. Заранее спасибо! Изображения 0

@Владимир_ВМ 128 / 109 / 103 Регистрация: 16.05.2011 Сообщений: 340
	16.04.2012, 22:37	2
	1) (X1v¬X2)(¬X1v¬X2)(X2v¬X3)=((X1¬X2)v(¬X1¬X2)v¬X2)(X2v¬X3)=(¬X2v¬X2)(X2v¬X3)=¬X2(X 2v¬X3)=¬X2¬X3 2) (X1¬X2)v(¬X1v¬X2)v(X2X3)=(X1¬X2)v¬X1v¬X2v(X2X3)=¬X1v¬X2v(X2X3) 3) (a¬b)v(a¬c)v(b¬c)vc=a(¬bv¬c)v(b¬c)vc А дальше думаю таблицу истинносит вы составить сможете. 1

@grandmasterus 0 / 0 / 0 Регистрация: 20.04.2011 Сообщений: 17
	17.04.2012, 00:45 [ТС]	3
	Таблицу составить смогу. Пока ждал - сам почти разобрался с законами. Спасибо! 0

@Владимир_ВМ 128 / 109 / 103 Регистрация: 16.05.2011 Сообщений: 340
	17.04.2012, 00:53	4
	Это же хорошо что сами разобрались.) 0

@grandmasterus 0 / 0 / 0 Регистрация: 20.04.2011 Сообщений: 17
	17.04.2012, 01:02 [ТС]	5
	Конечно хорошо, сам удивляюсь как все оказывается просто =) 0