WolframAlpha computational knowledge AI
((a implies b) and not b) implies not a