renaming and to AND or to OR and not to NOT