Package: de.uuhaus.cljointgen
Function checkduality
Lambda List
checkduality (a b)
Arguments
Return ValueReturns (values dual? nondualityinfo contradictory?)
dual? is nonNIL if a and b form dual sets of clauses. contradictory? is nonNIL if a and b are contradictory and hence not dual. nondualityinfo: a missing clause if they are not dual and not contraditory, a pair of clauses that contradict, or NIL otherwise. Details
Check duality of two monotone boolean functions.

See also 