tautologia, logika seweryn: Czy formuła jest tautologią? 1) (~r −−> ~p) −−> {(q −−> r) −−> [(p −−> q) −−> r}} 2) [~(q −−> r) −−> ~p] v ~[(p v q) −−> r]

helpMe: 1) tak (sprawdziłem kiedy to nie będzie taut. czyli dla p=1 r=0 q=0 wyszła sprzeczność fałszu czyli taut.) 2) tak (tak samo p=1 r=1 niezależne q) musisz jeszcze sprawdzić sobie