how do I find the resolvent of this formula?
$(A \vee C) \wedge ( \neg A \vee B) \wedge C$
Is it as easy as taking every clause with the same statements?
$(A \vee C)$ and $( \neg A \vee B)$ and put out the contradiction (in this case $A$ and $\neg A$)
Could you recommend me some source for resolution method except Wikipedia, because there are too easy examples?