2sally2
2sally2
22.11.2021 • 
Mathematics

Express the following CTL wff using only {EF,EU,AX}:
¬AG(¬E[p U q] ∨ EXAGq)

Solved
Show answers

Ask an AI advisor a question