Tautologies over implication with negative literals

Tytuł:
Tautologies over implication with negative literals
Czasopismo:
Rok:
2010

Opis:
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 asymptotically, when the number of variables becomes large, all tautologies have the following simple structure: either a premise equal to the goal, or two premises which are opposite literals

Strony:
388-396

Tom (seria wydawnicza):
56

Numer DOI:
DOI: 10.1002/malq.200810053

Link:
http://onlinelibrary.wiley.com/doi/10.1002/malq.200810053/abstract