Boolean *left = This->inputs.get(0);
updatePolarity(left, negatePolarity( parentpolarity));
Boolean *right = This->inputs.get(1);
Boolean *left = This->inputs.get(0);
updatePolarity(left, negatePolarity( parentpolarity));
Boolean *right = This->inputs.get(1);