Splits a solution expression (ORed terms) into individual prime implicants.

parse_solution_terms(expr)

Arguments

expr

Character. Solution expression (e.g., "X3 + X1*X2").

Value

Character vector of terms (e.g., c("X3", "X1*X2")), or NULL if no valid expression.