blrB

function canConvolutionFormula(formula){
    var replaceForSubFormula = "A";
    var atomOrConst = "([A-Z]|[0-1])";
    var atomOrConstInPatter = "<ATOM_OR_CONST>";
    var regFormula = "([(][!]<ATOM_OR_CONST>[)])|([(]<ATOM_OR_CONST>((&)|(\\|)|(->)|(~))<ATOM_OR_CONST>[)])";
    regFormula = regFormula.replace(new RegExp(atomOrConstInPatter, 'g'), atomOrConst);
    regFormula = new RegExp(regFormula);
    var oldFormula;

    do {