Prosty program sprawdzający czy zadana formuła jest tautologią na podstawie drzewa rozkładu RS