(A IMPLIES ((B && NOT(C)) IMPLIES D)) && ((NOT C) IMPLIES E)(A IMPLIES ((B && NOT(C)) IMPLIES D)) && ((NOT C) IMPLIES E)

• Natural Language
• Math Input