Las expresiones del lenguaje natural tales como "y", "ni", "pero", "que", "mas", y todas las que sean equivalentes, se sustituyen por el símbolo de conjunción lógica: ∧