Boolean function
De Morgan's theorem states that if one does the following, in the given order, to any Boolean function: