Logical negation analysis