Cuando dos cláusulas uniliterales como A y ﹁A se resuelven una contra otra, la resolvente (contradicción) no contiene ningún literal. Por esta razón, con frecuencia se denomina cláusula vacía