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$
2
  • $\begingroup$ @Kuba Thanks, solved it with BooleanConvert[! S [And] ! (S [Or] ! T)] $\endgroup$
    – BindingOx
    Commented Mar 21, 2018 at 7:29
  • $\begingroup$ I moved my comment to the answer then. $\endgroup$
    – Kuba
    Commented Mar 21, 2018 at 9:42

1 Answer 1

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)]
$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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