boolean_algebra_operation
Evaluate and analyze Boolean polynomials over GF(2): list variables, compute degree, test for zero/one, and reduce expressions.
Instructions
Boolean polynomials over GF(2): evaluate, list variables, degree, and zero/one tests. Prefer this over evaluate_sage for boolean algebra.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| session | No | Named workspace to use. Workspaces have independent variables; omit for 'default'. | default |
| operation | Yes | One of: evaluate, variables, degree, is_zero, is_one, reduce | |
| expression | Yes | Boolean expression (e.g. 'x*y + x*z + y*z') | |
| num_variables | No | Number of boolean variables |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||