Av1=1, A&1=A
((1&0)v1)&(1v1&0) =
поскольку {Av1=1}
= (1)&(1v1&0) = 1&(1v1&0) =
поскольку {A&1=A}
= 1v1&0 =
= 1v(1&0) = 1
Av1=1, A&1=A
((1&0)v1)&(1v1&0) =
поскольку {Av1=1}
= (1)&(1v1&0) = 1&(1v1&0) =
поскольку {A&1=A}
= 1v1&0 =
поскольку {Av1=1}
= 1v(1&0) = 1