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