WYCS: working on negation normal form