I am studying a satisfiablity course as a part of my computer science degree. My lecturer introduced some notation without explaining it and I can't seem to find out through Google.
Let F be a clause set i.e. a set of clauses "ANDEDed" together, where a clause is a set of variables "ORed" together.
Here's my problem:
F' = F \ {D}
What does the "F \ {D}" mean?
Any hints would be greatly appreciated!