in logica matematica, operazione a due argomenti, corrispondente al connettivo grammaticale o, che associa ai valori di verità v (vero), f (falso) di due enunciati un solo valore di verità che risulta essere f se, e solo se, gli argomenti sono entrambi femminile