Maja: Posługując się prawami rachunku zdań, doprowadź do najprostszej postaci p i q i s v p i q' i r' v p i q i s' v [(p i r) => q]' każde "i" to funktor koniunkcji każde ' to zaprzeczenie zdania z góry dziękuję