How can I proof SAT or VALID for a given boolean formular? And is this relevant for exam?
I tried to process exercise 4 b) of the exam WS17 but I couldn't find how this exactly works in the presentation of lecture DiRa-04-PropLogic-1. In the solution is just written "TAUTOLOGY".
Thanks to all the answerers.