procedura sprawdzania kontrtautologiczności schematu dla dwóch zmiennych zdaniowych
Wersję rastrową wykonał użytkownik polskiego projektu wikipedii: ROMAZUR, Zwektoryzował: Krzysztof Zajączkowski
CC BY-SA 2.5
Wersja rastrowa: <a class="external free" href="https://pl.wikipedia.org/wiki/Plik:Kontrtautologia.png">http://pl.wikipedia.org/wiki/Plik:Kontrtautologia.png</a>