Historie verzí stránky „Popište, co jsou to tzv. pravdivostní tabulky a jak jsou využívány při ověření, zda některá formule výrokové logiky je tautologií“

(teď) = rozdíly oproti nynější verzi, (předchozí) = rozdíly oproti předchozí verzi, m = malá editace