1
$\begingroup$

How would I use Mathematica to simplify:

S'∩(S∪T')'

The answer is S'∩T

Edit: S' means Complement of S.

Thanks! Solved with:

BooleanConvert[! S && ! (S || ! T)]

$\endgroup$
  • $\begingroup$ @Kuba Thanks, solved it with BooleanConvert[! S [And] ! (S [Or] ! T)] $\endgroup$ – Mack Mar 21 '18 at 7:29
  • $\begingroup$ I moved my comment to the answer then. $\endgroup$ – Kuba Mar 21 '18 at 9:42
1
$\begingroup$

I'm not sure if this is full justified from math perspective but using logic you can do:

BooleanConvert[! S \[And] ! (S \[Or] ! T)]
| improve this answer | |
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.