pomocy student: Sprowadź do najprostszej postaci p∧(q∨(∼p=>r))

Aga1.: (∼p⇒r)⇔(pvr)

student: mogłabyś napisać z jakich tw. korzystałaś?

Aga1.: Zapisałam jedno prawo

Aga1.: Wpisz w Gogle prawa rachunku zdań i jest ich wiele. Korzystałam z kilku. [p⋀(qv(∼p⇒r))]⇔[p⋀(qv(pvr))]⇔[(p⋀q)v(p⋀p)v(p⋀r)]⇔[(p⋀q)vpv(p⋀r)]⇔[pv(p⋀r)]⇔p