DNF tautologies with $2^k$ monomials of length $k$ and with at most ${2^k}/{k^alpha}$ occurrences of every variable, where $alpha={log._3 4}-1 ge 0.26$ are presented.
DNF tautologies with $2^k$ monomials of length $k$ and with at most ${2^k}/{k^alpha}$ occurrences of every variable, where $alpha={log._3 4}-1 ge 0.26$ are presented. (en)