User blog comment:Ubersketch/CNF comparison algorithm/@comment-35470197-20190817230831/@comment-35470197-20190818123811


 * 1) Quantify or define all variables
 * 2) Define the notion "a has a notation x".
 * 3) Define the notion "CNF expression".
 * 4) Define the notion "standard".