Prawo rachunku zdań (tautologia) to zdanie złożone z prostych zdań logicznych i spójników, które zawsze jest zdaniem prawdziwym, niezależnie od wartości logicznej zdań prostych, z których jest zbudowane. 

Dana jest równoważność

$\left[\left(p\wedge \left(\neg q\right)\right)\Rightarrow \neg p\right]\iff \left(p\Rightarrow q\right)$  

Gdyby podane zdanie nie byłotautologią, oznacza to, że istniałyby takie wartości logiczne zdań p, q dla których podana równoważność byłaby fałszywa. Sprawdzimy to za pomocą poniższej tabelki