WolframAlpha computational knowledge AI
((a or b) implies c) is equivalent to ((a implies c) and (b implies c))