Sciweavers

MLQ
2010
65views more  MLQ 2010»
13 years 10 months ago
Tautologies over implication with negative literals
We consider logical expressions built on the single binary connector of implication and a finite number of literals (boolean variables and their negations). We prove that asympto...
Hervé Fournier, Danièle Gardy, Antoi...