Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.
1.1k questions
1.3k answers
1.7k comments
556 users
φ2 = ¬EFE[1 SU ¬a] ∧ AGA[ a SB b]
Can you please explain the solution provided here? The extract is from the exam solutions.
The implication in the first step seems to be wrong.
Thank you for this question.
Which exam is this solution from?
Let's talk about the transformations first: