Verilog code for and gate in behavioural model. The truth table of 2-input...