Disjunctive normal form attempt#558

erszcz wants to merge 8 commits intojosefs:masterjosefs/Gradualizer:masterfrom

erszcz:use-disjunctive-normal-formerszcz/Gradualizer:use-disjunctive-normal-formCopy head branch name to clipboard