Sprowadz do postaci normalnej koniunktywno-alternatywnej Log: ((p=>q)⋀(q=>r))=>(p=>) Udało mi się dojść do takiej formy: (p∨q)∧(¬q∨q)∧(p∨¬r)∧(¬q∨¬r)∨(¬p∨r) Ale tyle jest już tych literek, że troi mi się w oczach i nie wiem co dalej.