(o^1) v ( 1 v0) önermesinin sonucu​