Logical Operator in Solidity