Danièle Gardy ; Alan Woods
-
And/or tree probabilities of Boolean functions
dmtcs:3355 -
Discrete Mathematics & Theoretical Computer Science,
January 1, 2005,
DMTCS Proceedings vol. AD, International Conference on Analysis of Algorithms
-
https://doi.org/10.46298/dmtcs.3355
And/or tree probabilities of Boolean functionsArticle
Authors: Danièle Gardy 1; Alan Woods 2
0000-0001-6425-4585##NULL
Danièle Gardy;Alan Woods
1 Parallélisme, Réseaux, Systèmes, Modélisation
2 School of Mathematics and Statistics [Crawley, Perth]
We consider two probability distributions on Boolean functions defined in terms of their representations by $\texttt{and/or}$ trees (or formulas). The relationships between them, and connections with the complexity of the function, are studied. New and improved bounds on these probabilities are given for a wide class of functions, with special attention being paid to the constant function $\textit{True}$ and read-once functions in a fixed number of variables.
Antoine Genitrini;Jakub Kozik;Marek Zaionc, Types for Proofs and Programs, Intuitionistic vs. Classical Tautologies, Quantitative Comparison, pp. 100-109, 2008, 10.1007/978-3-540-68103-8_7.
Zofia Kostrzycka, 2008, On density of truth of the intuitionistic logic in one variable, Discrete Mathematics & Theoretical Computer Science, DMTCS Proceedings vol. AI,..., Proceedings, 10.46298/dmtcs.3583, https://doi.org/10.46298/dmtcs.3583.
Hervé Fournier;Danièle Gardy;Antoine Genitrini;Marek Zaionc, Lecture notes in computer science, Classical and Intuitionistic Logic Are Asymptotically Identical, pp. 177-193, 2007, 10.1007/978-3-540-74915-8_16.