(A and B) implies C, (A implies C) or (B implies C)(A and B) implies C, (A implies C) or (B implies C)

• Natural Language
• Math Input