xuǎn​yán​mìng​tí

disjunctive proposition