@gp8871: ogólnie chodzi o to aby wartość całego wyrażenia przyrównać do zera a implikacja jest fałszywa gdy pierwsza część jest prawdziwa a druga fałszywa i tak dalej zdejmujemy najbardziej zewnętrzne (działania) (polecam tabelki wartości logicznych) aż dojdziemy do wartości a,b,c. jeśli to będzie tautologia dojdziesz do sprzeczności

https://www.youtube.com/watch?v=KOvNnkF1J3w

ps kreska sheffera jest fałszywa gdy oba są prawdziwe