Ještě doplním, že spojka „a“ je logické násobení a spojka „nebo“ je logické sčítání a i zde platí pravidlo, že násobení má přednost před sčítáním, proto je doplněna závorka ve funkci P˅(M˄Č) aby bylo zřejmé, co má první přednost v postupu řešení.