Boolean Operations In Verilog