Download

11. Ověřování, zda je formule tautologií metodou protipříkladu