1: \begin{thebibliography}{Kud60b}
2:
3: \bibitem[And84]{An84}
4: A.~E. Andreev.
5: \newblock On the problem of minimizing disjunctive normal forms.
6: \newblock {\em Soviet Math. Doklady}, 29:32--36, 1984.
7:
8: \bibitem[Apo97]{Ap97}
9: T.~Apostol.
10: \newblock {\em Modular Functions and Dirichlet Series in Number Theory}.
11: \newblock Springer, 2nd edition, 1997.
12:
13: \bibitem[Ber82]{Ber82}
14: S.~Berkowitz.
15: \newblock On some relationships between monotone and nonmonotone circuit
16: complexity.
17: \newblock Technical report, Department of Computer Science, University of
18: Toronto, Canada, Toronto, Canada, 1982.
19:
20: \bibitem[Bop85]{Bo85}
21: R.~Boppana.
22: \newblock Amplification of probabilistic {Boolean} formulas.
23: \newblock In {\em 26th Annual Symposium on Foundations of Computer Science},
24: pages 20--29, Oct 1985.
25:
26: \bibitem[Bop89]{Bo89}
27: R.~Boppana.
28: \newblock Amplification of probabilistic {Boolean} formulas.
29: \newblock {\em Advances in Computing Research 5: Randomness and Computation},
30: pages 27--45, 1989.
31:
32: \bibitem[DZ97]{DuZw97}
33: M.~Dubiner and U.~Zwick.
34: \newblock Amplification by read-once formulas.
35: \newblock {\em SIAM Journal on Computing}, 26(1):15--38, January 1997.
36:
37: \bibitem[Gla67]{Gl67}
38: V.~V. Glagolev.
39: \newblock Nekotorye otsenki dizyunktivnykh normalnykh form funktsi\u\i{}
40: algebry logiki.
41: \newblock {\em Problemy Kibernetiki}, 19:75--95, 1967.
42:
43: \bibitem[Kor80]{Ko80}
44: A.~D. Korshunov.
45: \newblock O chisle monotonnykh bulevykh funktsi\u\i.
46: \newblock {\em Problemy Kibernetiki}, 38:5--100, 1980.
47:
48: \bibitem[Kud60a]{Ku60b}
49: V.~B. Kudryavcev.
50: \newblock Completeness theorem for a class of automata without feedback
51: couplings.
52: \newblock {\em Soviet Math. Doklady}, 1:537--539, 1960.
53:
54: \bibitem[Kud60b]{Ku60}
55: V.~B. Kudryavcev.
56: \newblock Problems of completeness for automatic machine systems.
57: \newblock {\em Soviet Math. Doklady}, 1:146--149, 1960.
58:
59: \bibitem[LS97]{LeSa97}
60: H.~Lefmann and P.~Savick\'{y}.
61: \newblock Some typical properties of large and/or {Boolean} functions.
62: \newblock {\em Random Structures and Algorithms}, 10:337--351, 1997.
63:
64: \bibitem[Lup61]{Lu61b}
65: O.~B. Lupanov.
66: \newblock O realizatsi\u\i{} funktsi\u\i{} algebry logiki formulami iz
67: konechnykh klassov (formulami ogranichenno\u\i{} glubiny) v bazise \&,
68: $\vee$, $\overline{\phantom{x}}\;$.
69: \newblock {\em Problemy Kibernetiki}, 6:5--14, 1961.
70:
71: \bibitem[MS56]{MoSh56}
72: E.~Moore and C.~Shannon.
73: \newblock Reliable circuits using less reliable relays.
74: \newblock {\em Journal of Franklin Institute}, 262(3):191--208, 1956.
75:
76: \bibitem[Raz88]{Ra88}
77: A.~Razborov.
78: \newblock Formulas of bounded depth in basis {$(\wedge,\oplus)$} and some
79: combinatorial problems.
80: \newblock {\em Voprosy Kibernetiky, USSR}, pages 149--166, 1988.
81:
82: \bibitem[RS42]{RiSh42}
83: J.~Riordan and C.~E. Shannon.
84: \newblock The number of two-terminal series-parallel networks.
85: \newblock {\em J. Math. Phys.}, 21:83--93, 1942.
86:
87: \bibitem[Sap89]{Sa89}
88: A.~A. Sapozhenko.
89: \newblock O chisle antitsepe\u\i{} v mnogoslo\u\i{}nykh ranzhirovannykh
90: mnozhestvakh.
91: \newblock {\em Diskretnaya Matematika}, 1:110--128, 1989.
92:
93: \bibitem[Sav90]{Sa90}
94: P.~Savick\'{y}.
95: \newblock Random {Boolean} formulas representing any {Boolean} function with
96: asymptotically equal probability.
97: \newblock {\em Discrete Mathematics}, 83:95--103, 1990.
98:
99: \bibitem[Sav95a]{Sa95}
100: P.~Savick\'{y}.
101: \newblock Bent functions and random {Boolean} formulas.
102: \newblock {\em Discrete Mathematics}, 147:211--234, 1995.
103:
104: \bibitem[Sav95b]{Sa95b}
105: P.~Savick\'y.
106: \newblock Improved {Boolean} formulas for the {Ramsey} graphs.
107: \newblock {\em Random Structures and Algorithms}, 6:407--415, 1995.
108:
109: \bibitem[Sav98]{Sa98}
110: P.~Savick\'{y}.
111: \newblock Complexity and probability of some {Boolean} formulas.
112: \newblock {\em Combinatorics, Probability and Computing}, 7(4):451--463, 1998.
113:
114: \bibitem[Sha38]{Sh38}
115: C.~E. Shannon.
116: \newblock A symbolic analysis of relay and switching circuits.
117: \newblock {\em AIEE Trans.}, 57:713--723, 1938.
118:
119: \bibitem[Val84]{Va84}
120: L.~Valiant.
121: \newblock Short monotone formulae for the majority function.
122: \newblock {\em Journal of Algorithms}, 5:363--366, 1984.
123:
124: \bibitem[vN56]{vN56}
125: J.~von Neumann.
126: \newblock Probabilistic logics and the synthesis of reliable organisms from
127: unreliable components.
128: \newblock In C.~E. Shannon and J.~McCarthy, editors, {\em Automata Studies}.
129: Princeton University Press, 1956.
130:
131: \end{thebibliography}
132: