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
2018.02.14
This questions asks that at the end we are supposed to convert our result into a quantifier free CNF/DNF. I did not understand what that means, especially the last 2 steps
=>a & !(p | (p & q))=>a&!p
How is "q" removed at the end?