Системы перехода и вычислительная древовидная логика — не в состоянии понять это

#logic #formal-methods #ctl Вопрос: У меня возникают проблемы с пониманием того, как это сделать, чтобы вычислить SAT(E Всегда-g).