Этим способом обычно решают несложные логические задачи.