Conversion to Clause Form 5. Convert to prenex form – move all universal quantifiers out 6. Put expression in CNF (distribute  over  ) 7. Eliminate
{"Image DocumentName": "Conversion to Clause Form", "Image ImageDescription": "Convert to prenex form \u2013 move all universal quantifiers out. Put expression in CNF (distribute \uf0d9 over \uf0da) Eliminate universal quantifiers.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}