demorgan+-