How do I simplify operations on sets?

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)]

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

1 Answer

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

BooleanConvert[! S \[And] ! (S \[Or] ! T)]