(0^1) v ( 1vo) önermesi nedir​