Этот метод заключается в поиске таких переменных, при которых формула оказывается ложной.