de morgan's theorems for two variables are
for variables, the complement of any expression can be obtained by replacing eaach variable and element with its complement and, at the same time, interchanging the OR and AND operations, that is,
[BROKEN LINK: eq-gen-demorgan] is known as the general de morgan's theorem