Closed paulodt closed 9 years ago
Colaboração do Rafael Katz @rkatz36368. A função calcula o tamanho da fórmula, levando em consideração a quantidade de conectivos binários (and, or, impilas e equiv).
Colaboração do Rafael Katz @rkatz36368. A função calcula o tamanho da fórmula, levando em consideração a quantidade de conectivos binários (and, or, impilas e equiv).