reguły wnioskowania

[Cheerful]

mam pytanie czy takie przekształcenie jest prawidłowe a jesli nie to jak je uproscic za pomoca reguł wnioskowania??\(\displaystyle{ (\sim p\vee q)\vee(\sim p\vee r)=\sim p\vee ( q\vee r)}\)

[mostostalek]

hmmm jakby nie patrzeć to to jest poprawne.. choćby dlatego, że alternatywa jest łączna i nie musimy używać nawiasów dlatego można usunąć powtarzające się wyrażenia i wychodzi wszystko ok