help with mathematical logic problem

I need expert to explain this logic for me.
Assuming that we have two sentences:
• S: Holiday request process.
• G: Encourage the use of an employee’s holiday period.
When dose S satisfy G?
S ⊨ G
How to check this with SAT solver?
S ⊨ G
Iff S ∨ ¬G ⊨ ⊥