Lines Matching refs:Debug
68 Debug("!true => false\n"); in push_negation()
74 Debug("!false => true\n"); in push_negation()
80 Debug("!!p => p\n"); in push_negation()
88 Debug("!(p V q) => (!p U !q)\n"); in push_negation()
92 Debug("!(p U q) => (!p V !q)\n"); in push_negation()
97 Debug("!X -> X!\n"); in push_negation()
104 Debug("!(p && q) => !p || !q\n"); in push_negation()
108 Debug("!(p || q) => !p && !q\n"); in push_negation()
207 Debug("\nA0: "); Dump(can); in Canonical()
208 Debug("\nA1: "); Dump(n); Debug("\n"); in Canonical()
301 Debug("A2: "); Dump(can); Debug("\n"); in Canonical()