Centre for Discrete and Applicable Mathematics 

CDAM Research Report, LSECDAM200601January 2006 
Almost every 2SAT function is unate
Peter Allen
Bollobás, Brightwell and Leader [2] found upper and lower bounds for the number of 2SAT functions on n variables, and conjectured that in fact almost every 2SAT function is unate: i.e., has a 2SAT formula in which no variable's positive and negative literals both appear. We prove their conjecture.
As a corollary of this, we also find the average number of satisfying assignments of a 2SAT function on n variables. We also find the next largest class of 2SAT functions, and find an upper bound on the number of 2SAT functions on n variables which cannot be made unate by removing 25k variables, for any k=k(n)<n^{1/4}.
A PDF file (287 kB) with the full contents of this report can be downloaded by clicking here.
Alternatively, if you would like to get a free hard copy of this report, please send the number of this report, LSECDAM200601, together with your name and postal address to:
CDAM Research Reports Series Centre for Discrete and Applicable Mathematics London School of Economics Houghton Street London WC2A 2AE, U.K. 

Phone: +44(0)207955 7494. Fax: +44(0)207955 6877. Email: info@maths.lse.ac.uk 
Introduction to the CDAM Research Report Series.  
CDAM Homepage. 