Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1k questions
1.2k answers
1.6k comments
498 users
Do we need to take two variables (p and q) in this one as it's just G[a U B]? Can't we write just this?
G[q ↔ [φ U ψ]] ⇔ G[q ↔ ψ ∨ φ ∧ Xq]∧ GF[φ → q]