s.f.
1. il disgiungere, l'essere disgiunto
2. 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 f.