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?