a = Not(a)
でいいんじゃね