dodanie sprawdzenia czy zadana formuła jest spełnialna