a^b=0(a=>0b)

      =0(b=>0a)

      =0(0a.0b)

a.b=   0a=>b

           0b=>a

           0(0a.0b)

a=>b=   0b=>0a

              0a.b

              0(0a^b)