Дискретка / БФ_примеры

1.	Опустить лишние скобки:
а)	x | y z y & x z

б) x y z y x y

в) x y z x y г) x y z z

д) x x y z & x y е) x y & y z x

ж) x y z & t

~

~

~

~

~

~

~

x | y z y & x zx y z y x y x y z x y

x y z zx x y z & x y

x y & y z xx y z & t

2. Восстановить все скобки,

а) x y z & x x

б) x y z z & x

в) y x y & z x

г) x y x y & x д) x y x & y z

е) x y z x & y x ж) x & y & z x x x

чтобы был чётко ясен порядок выполнения действий:

	~	x y z & x x
	~	x y z z & x
y	~	y x y & z x
	~	x y x y & x
	~	x y x & y z
	~	x y z x & y x
y	~	x & y & z x x x

y

y

3.	Упростить / Найти СДНФ и СКНФ:
а)	x x y y	~ 1
б) x & y x & y & z y z		~	x y
в)	x y & z x & y z	~ x y
г)	x y y x	~	x y
д) x y x y		~ x y
е)	x y x y	~	x y
ж) x | y x y		~	x y
з)	x | y & x y	~	x & y
и) x x y y		~	x & y

z

z

к) л) м) н) о) п) р)

с) т)

x y y x x y y x x x y x | y x x y x z y & x x y x & z y z x y x z & y x | y t z & x y x y z x | x & y zx | y x y x y

~	y
~	0
~	x y
~	x & z y
~	x & y z
~	x & y
~	x y & z

~0

~

x y