parse_solution_terms: Parse solution expression into individual terms
Description
Splits a solution expression (ORed terms) into individual prime implicants.
Usage
parse_solution_terms(expr)
Value
Character vector of terms (e.g., c("X3", "X1*X2")), or NULL if
no valid expression.
Arguments
- expr
Character. Solution expression (e.g., "X3 + X1*X2").