Tengo este problema y tengo que modelarlo en una fórmula booleana. Asumiendo que las variables pueden tener valor 0 o 1 y V es OR y es AND.
Tengo n variables booleanas x1,x2......xn. Quiero una fórmula que sea siempre verdadera cuando el número de uno sea mayor que el número de cero.
tengo esta fórmula
Y si pienso que K=n/2 esto funciona para mi problema, pero es asintótico en O( $n^{n/2}$ ).Quiero que sea en O( $n^{log n}$ ) ¿puede alguien ayudarme?
