Logical Functions Definition