Tautologia rachunku zdań alex: Zbadaj, stosując metodę „nie wprost" lub metodę „zero−jedynkową”, czy podana formuła jest tautologią rachunku zdań: (p−>(q −>r))−>((p*q) −> r) (gwiazdka oznacza koniunkcję)

ite: http://tablica-istinnosti.ru/ru/begn.php?dp=(P5(Q5R))5((P3Q)5R)&fn=0&fd=0&fe=0&op=ti