donde cada A es una disyunción de fórmulas.