Контрольная работа: Основы дискретной математики

y5=x1~x2=ùx1ùx2+x1x2

y6=x1/x2=ùx1+ùx2

y7=x3ù→x4ù→y6=(x3ùx4) ù→y6=x3x4x1x2=x1x2x3x4

y8=y5~y6~y7=((x1+x2)(ùx1+ùx2)x1x2+(ùx1ùx2+x1x2)( ùx1+ùx2)) ~y7=

=(ùx1ùx2) ~y7=(x1+x2)(ùx1+ùx2+ùx3+ùx4)+( ùx1ùx2)x1x2x3x4=x1ùx2+x1ùx3+

+x1ùx4+ùx1x2+x2ùx3+x2ùx4

y9=x4/y6 =ùx4+x1x2

y10=x4ù→y7=x4(ùx1+ùx2+ùx3+ùx4)= ùx1x4+ùx2x4+ùx3x4

y11=x1~y8~y10=( ùx1(ùx1+x2)( ùx1+x3)( ùx1+x4)(x1+ùx2)( ùx2+x3)( ùx2+x4)+

+x1(x1ùx2+x1ùx3+x1ùx4+ùx1x2+x2ùx3+x2ùx4)) ~y10=((ùx1+ùx1x2) (ùx1+x3) (ùx1+x4)(x1+ùx2)( ùx2+x3)( ùx2+x4)+(x1ùx2+x1ùx3+x1ùx4+x1x2ùx3+x1x2ùx4)) ~y10=(ùx1ùx2(ùx1+x3)( ùx2+x3)( ùx2+x4)( ùx1+x4)+ (x1ùx2+x1ùx3+x1ùx4+ +x1x2ùx3+x1x2ùx4)) ~y10=((ùx1ùx2+ùx1ùx2x3) (ùx2+x3)( ùx2+x4)( ùx1+x4)+

+(x1ùx2+x1ùx3+x1ùx4+ +x1x2ùx3+x1x2ùx4)) ~y10=((ùx1ùx2+ùx1ùx2x3)

( ùx2+x4)( ùx1+x4)+ (x1ùx2+x1ùx3+x1ùx4+ x1x2ùx3+x1x2ùx4)) ~y10=

=((ùx1ùx2+ùx1ùx2x4+ùx1ùx2x3+ùx1ùx2x3x4)( ùx1+x4)+( x1ùx2+x1ùx3+

+ x1ùx4+ x1x2ùx3+x1x2ùx4)) ~y10=(ùx1ùx2+ùx1ùx2x4+ùx1ùx2x3x4+

+ x1ùx2+x1ùx3+ x1ùx4+ x1x2ùx3+x1x2ùx4)~y10=(ùx1ùx2+x1ùx2+x1ùx3+

+x1ùx4+x1x2ùx3+x1x2ùx4) ~y10=(ùx2+x1ùx3+x1ùx4+x1x2ùx3+x1x2ùx4) ~y10=

=(ùx2+x1ùx3+x1ùx4)~y10=x2(ùx1+x3)( ùx1+x4)(x1+ùx4)(x2+ùx4)(x3+ùx4)+

+(ùx2+x1ùx3+x1ùx4)( ùx1x4+ùx2x4+ùx3x4)=x2(ùx1+x3)( ùx1ùx4+x1x4)

(x2+ùx4)(x3+ùx4) +(ùx2+x1ùx3+x1ùx4)( ùx1x4+ùx2x4+ùx3x4)=

=x2(ùx1+x3)( ùx1x2ùx4+x1x2x4+ùx1ùx4)(x3+ùx4) +(ùx2+x1ùx3+x1ùx4)

( ùx1x4+ùx2x4+ùx3x4)=x2(ùx1+x3)( ùx1x2x3ùx4+x1x2x3x4+ùx1x2x4+

+ùx1x2ùx4) +(ùx2+x1ùx3+x1ùx4)( ùx1x4+ùx2x4+ùx3x4)=( ùx1+x3)( ùx1x2x4+

+x1x2x3x4+ùx1x2x3x4) +(ùx2+x1ùx3+x1ùx4)( ùx1x4+ùx2x4+ùx3x4)=

=(ùx1+x3) (ùx1x2x4+x1x2x3x4) +(ùx2+x1ùx3+x1ùx4)( ùx1x4+ùx2x4+ùx3x4)=

=ùx1x2x4+ùx1x2x3x4+x1x2x3x4+ùx1ùx2x4+ùx2x4+ùx2ùx3x4+x1ùx2ùx3x4+

+x1ùx3x4=ùx1x2x3+x1x2x3x4+ùx2x4+x1ùx3x4

y12=x1/y9 =ùx1+x4(ùx1+ùx2)= ùx1+ùx1x4+ùx2x4=x1+ùx2x4

y13= y9ù→y10=(ùx4+x1x2)(x1+ùx4)(x2+ùx4)(x3+ùx4)=(x1ùx4+ùx4+x1x2+

+x1x2ùx4)(x2+ùx4)(x3+ùx4)=( ùx4+x1x2)(x2+ùx4)(x3+ùx4)=(x2ùx4+ùx4+