Bollobás, Bela, Brightwell, Graham R. and Leader, I. (2003) The number of 2-SAT functions. Israel Journal of Mathematics, 133. pp. 45-60. ISSN 0021-2172