Nobody/Anonymous - 2007-03-30

I have an important question about the logical operator "¬"="not",

like not(a)implies not(b)
(¬a)⇒(¬b)