Jak sprawdzić czy dana formuła jest odrzucalna?

Dla przykładu mamy formułę :
((P v Q) -> (P v ~Q)) -> (~P v Q)
Myślę, że jeżeli wychodzi minimum jedna wartość fałszywa z tabelki to jest odrzucalna, ale chciałbym się upewnić :)

Jeśli strzałka oznacza implikację materialną to p -> q <=> !p || q a potem próbować uprościć