de morgan s theorem – Meaning and Explanation