Cadena de formación

Secuencia X1,...,Xn de expresiones proposicionales tal que para cada eslabón Xi: 1) Xi = pk para algun pk∈Var 2) Xi = ¬Xj para algun 1≤j<i 3)Xi = (Xj*Xk) con *∈{^,v,->} para algunos 1≤j,k<i