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
2023.02.15 question paper,
here the question is to find the universal predecessor of (q & (p | a)) .
But while starting it's denoted as Pre.forall ( p xor q) . it should be Pre.forall ( q & (p | a)) .is it ?
From where p xor q came?