module gates input a input b expr And: and a b expr Or: or a b expr Nand: nand a b expr Nor: nor a b expr Xor: xor a b expr nota: not a expr notb: not b