Matematyka.pl

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)}\)

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