CSE20-Lec-09-Normal-Forms-and-Predicates.pdf