New answers tagged

2 votes

Simplifying a logical expression with multivariate polynomials

The following is a very manual approach, but might be informative expr = a (a b + c d) != 0 || b (a b + c d) != 0 || c (a b + c d) != 0 || d (a b + c d) != 0; ...
mikado's user avatar
  • 16.4k
2 votes

Simplifying a logical expression with multivariate polynomials

...
Bob Hanlon's user avatar
  • 155k
4 votes
Accepted

Get limits of values from inequalites

Reduce gives additional infomation ...
Ulrich Neumann's user avatar

Top 50 recent answers are included