Duda con lógica proposicional

Como no des mas detalles...
Un conector para que?

Un conector del palo... ^, ¬, -->, etc etc.

Me suena que era algo de este estilo:

(a|a) = ¬a

Tampoco he podido mirarlo en ningún sitio.

a.. logica formal....

eso se le llamaba pipe, osea tubería si mal no recuerdo, que me corrija algun amante de linux que las pipes se usaban muxo con el comando Grep.

Ese operador en C es un OR a nivel de bits.

No me suena de nada ese operador en lógica proposicional, yo sólo conozco: ^, v, =>, <=>, ¬, el "o exclusivo" y el contrario.

Y tuve un examen de eso mismo hoy

Yo controlo bastante de lógica proposicional (Clásica, no aplicada a programación)..... y no me suena de nada,

Joer, eso es de principio de carrera... podria aventurarme en darte la respuesta, pero mejor me miro un momento los apuntes!!!

Veamos, lo recuerdo en:
1.- gramatica incontextual en expresiones tales como:
L(G) = {w ∈ Σ∗ | S ⇒* w}.
donde es un "AND"
o de esta manera:
D → 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9
Donde es un separación en la enumeración de las palabras del lenguaje

2.- En TALF 2 tambien aparece
CLIQUE = {hG, ki | G ´es un graf no dirigit amb un k-clique}
A = {(x, y) | 'x(x + y)  y}
Aquí se traduciria con un "donde"

Iba a poner lo de Raday. Separación de valores en una lista a modo de "o". O "conjunción neutra" en una formulación lógica. Por decirlo de alguna manera.

Con sus ejemplos diría yo que queda mas claro imposible sobre sus usos