In this exercise, let P and Q be predicates on a common domain of discourse. Mark Which of the following options correctly represents the equivalence of LTL formulas:

Group of answer choices

G $($P U $($Q $$ R$))$ G P U $($Q $$ R$)$

F $($P U $($Q $$ R$))$ F P U $($Q $$ R$)$

G $($P $($X Q U R$))$ G P $($X Q U R$)$

F $($P $($X Q U R$))$ F P $($X Q U R$)$all statements that must be true, no matter what P and Q are.