Буль функцияларини , ва  оркали ифодалаш.
Биз бундан аввал баъзи Буль функцияларини , ва оркали ифодаловчи хоссаларини куриб утган эдик. Энди биз шуни курсатамизки , барча Буль функциялари ифодалаш мумкин булган Буль функциялари мавжуд булади. Дастлаб биз шундай хусусиятга эга булган , ва ларни караймиз.
Лемма: Ихтиёрий к аргументли f (х ,х ,...,х ) Буль функцияси учун куйдаги формулалар уринли:
f (х,х,...,х)=((x: f(1,x2,...,xn))(x1' f(0,x2,...,xn))
f (х,х,...,х)=(( x1 f(0,x2,...,xn)) (x1' f(1,x2,...,xn))
(x,y,z)=(xf(1,y,z) (x'f(0,y,z)=(x(yf(1,1,z) yf(1,0,z) (x'(yf(0,1,z) y'f(0,0,z)=(x(y(zf(1,1,1) z'f(1,1,0) y'(zf(1,0,1) z'f(1,0,0))) ...
Бу леммага асосан куйдаги теоремани исботлаш мумкин.
Do'stlaringiz bilan baham: |
