De Morgan's theorem is a fundamental principle in Boolean algebra related to the negation of logical operations (AND, OR).
Let's examine each option to see which one matches De Morgan's theorem:
The boolean expression that correctly represents De Morgan's theorem is $(x + y)' = x'y'$.