~(x+~y)+~x*z=~x+y+~x*z=~x*(1*z)+y=~x*z+y
x y z t
0 0 0 0
0 0 1 1
0 1 0 1
1 0 0 0
0 1 1 1
1 0 1 0
1 1 0 1
1 1 1 1
~(~a*(b+~c)+~a*b=~a*~b+~a*~~c+a*~b=~a*(1*~b+1*c+0*~b)=~a*(~b+c)=~(a*b)+~a*c
0 0 0 1
0 1 0 0
1 1 0 0
1 1 1 0
a*~c+c*(b+~c)+c*(a+~b)=a*~c+c*b+c*~c+a*c+~b*c=a*(~c+c)+c*(b+~b)=a+c*1=a+c
0 0 1 0
0 1 1 0
1 0 1 1
~(x+~y)+~x*z=~x+y+~x*z=~x*(1*z)+y=~x*z+y
x y z t
0 0 0 0
0 0 1 1
0 1 0 1
1 0 0 0
0 1 1 1
1 0 1 0
1 1 0 1
1 1 1 1
~(~a*(b+~c)+~a*b=~a*~b+~a*~~c+a*~b=~a*(1*~b+1*c+0*~b)=~a*(~b+c)=~(a*b)+~a*c
x y z t
0 0 0 1
0 0 1 1
0 1 0 0
1 0 0 0
0 1 1 1
1 0 1 0
1 1 0 0
1 1 1 0
a*~c+c*(b+~c)+c*(a+~b)=a*~c+c*b+c*~c+a*c+~b*c=a*(~c+c)+c*(b+~b)=a+c*1=a+c
x y z t
0 0 0 0
0 0 1 0
0 1 0 0
1 0 0 0
0 1 1 0
1 0 1 1
1 1 0 0
1 1 1 1