... Mateusz: Jak rozpoznać sprawdzając tautologie, bez metody zero−jedynkowej kiedy rozważamy tylko jeden przypadek, a kiedy dwa ?

Mateusz: Czy nie ma żadnej zasady ?

sushi_ gg6397228: jak jest rozbudowane to tylko 0−1 wchodzi w grę dla łatwiejszych, to czasami widać od razu np: p⇒q ⇔ ~ p v q