WolframAlpha computational knowledge AI
((p => q) => r) and (r => p)