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í: Porovnání verzí