Pilne! fasola: Sprowadż do postaci normalnej koniunkcyjno−alternatywnej formułę: (p→q)→((q→r)→(p→r)) wyszło mi tak: (p⋁¬q)∧(¬q∨r)∧(p∨¬r) może to ktoś sprawdzić, czy wyjdzie mu na końcu to samo?