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
How is this sequent calculus step is getting performed on XOR?
Whole question is : preporsitional logic formula : ((a ⊕ b) ∧ ¬ a) ∨ b
Check the validity of the formula by means of sequent calculus.