pv(p^q)^(r^(rvs)) (işlemi önce açarız)
(pvp)^(pvq)^(r^r)v(r^s) (burada parantez dışındakileri içeri dağıtırız)
(p)^(pvq)^(r)v(r^s) (sadeleştirilmiş halini buluruz) ''burada en azından bir ip ucu olsa sonuca çelişki veya totoloji diyebiliriz ama senin verdiğin bu bilgiler doğrultusunda ben buraya kadar gelebildim eğer daha fazla açan olursa bilmek isterim
