Looks like no one added any tags here yet for you.
What are the order of operations of logical operators?
¬ ∧ ∨ → ⟷
What is a tautology?
When all combinations are true
What is a satisfiability?
At least one combination is true
What is a contradiction?
When all combinations are false