Doron Zeilberger, Rutgers Experimental Mathematics Seminar, September 28th, 2017
See part 2 at vimeo.com/236019600
The acronyms CNF and DNF feature prominently in Norbert Blum's brave attempt at proving the most important open problem of our time (with the possible exception of the much more intractable problem of establishing world peace). But there are many other aspects of CNFs, and their duals, DNFs, worth pursuing for their own sake. These other problems won't earn you a million dollars, but they are even more fun.
[Joint work with Anthony Zaleski]