Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Reduce[a == 0 [Implies] a == 0]
- Reduce[a == 0 [Implies] 0 == a]
- Reduce[a == 0 [And] b == 0 [Implies] a == 0 [And] b == 0]
- Reduce[a == 0 [And] b == 0 [Implies] a == 0 [And] 0 == b]
- Reduce[a == 0 [And] b == 0 [Implies] 0 == a [And] 0 == b]
- (b == 0 && a == 0) || a != 0 || b != 0
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
