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
In q => !q' | (q' <-> b), => does not seem to be same as -> (implies) condition.