public static ConstantFormulaTree CreateTruthValueNode(bool value) { return value ? (ConstantFormulaTree)CreateTrueNode() : CreateFalseNode(); }