™   is a trademark of Craig Stewart Holman.

™   is a trademark of Craig Stewart Holman.

Spinning three-dimensional plot ™   is a trademark of Craig Stewart Holman.
 
It is a spinning three-dimensional plot of 4 metrics from 2000 Boolean expressions: log(number of CNF clauses), log(number of DNF clauses), degree of coincidence, red = contradiction, blue = satisfiable and falsifiable, green = tautology.

Adobe Acrobat Reader™ is a trademark of Adobe.

All of the pages which comprise this website are copyrighted by Craig Stewart Holman, as noted on each page, and all rights are reserved.

All files which may be downloaded from this site are copyrighted by Craig Stewart Holman, unless otherwise noted, and all rights are reserved.

All algorithms described in this site are the intellectual property of Craig Stewart Holman and are presented without any warranty.