Learning Logic [] 72 [] What is De Morgan's law?