x_{1} is a logical alternation/disjunction, stating that x_{2} (du'u) and/or x_{3} (du'u) is/are true.

See also kanxe, cmavo list a, ja, gi'a, gu'a.

- kanxe
- x
_{1}is a conjunction, stating that x_{2}(du'u) and x_{3}(du'u) are both true. - vlinyje'u
- at least one of the statements x
_{1}(du'u) and x_{2}(du'u) is true (logical disjunction) - vlinykemlojvro
- v
_{1}is an OR gate with input [pins] v_{2}and output [pins] v_{3}in circuit/system v_{4}. - zilvlina
- at least one of the statements x
_{1}(du'u) and x_{2}(du'u) is true (logical disjunction) - jijgi
- x
_{1}is a connective question, requesting the connective between x_{2}(du'u) and x_{3}(du'u) in that order, assuming that they are true. - ribga
- x
_{1}is a logical statement that x_{2}(du'u) is true regardless of/irrespective of/independent of/whether or not x_{3}being/is true. - sigda
- x
_{1}is a material conditional/'IF' statement (logical statement) saying that x_{2}(du'u) logically implies x_{3}(du'u) ("x_{3}is true if x_{2}is true; if x_{2}, then x_{3}; x_{2}being true is sufficient to guarantee the truth of x_{3}"). - skudi
- x
_{1}is a logical XOR/mutual-contradiction/exclusive disjunction statement saying that only/exactly one of x_{2}and x_{3}can be true at any given time. - tsida
- x
_{1}is a logical statement of proposition-equivalence/is a biconditional/'IFF' statement saying that x_{2}(du'u) is true if and only if x_{3}is true ("x_{2}is logically equivalent to x_{3}; x_{2}being true is sufficient and necessary for guaranteeing the truth of x_{3}; x_{2}iff x_{3}").