يمكن أولاً تصنيف المعادلات وفقًا لعدد المجهول أي المتغيرات الحرة ، كما يمكن تمييز المعادلات ذات المتغير غير المعروف بالمتغير الحر ، وفقًا للشكل الذي يحدث فيه المجهول أو ما يعرف بالمتغير الحر ، وإذا افترض المرء أنه قد تم تنفيذ عمليات التبسيط الممكنة ، فيمكنه تقسيم المعادلات بناءً على تقسيم الوظائف إلى معادلات جبرية ومتعالية ، كما تشمل المعادلات الجبرية المعادلات المنطقية وخاصة المعادلات المنطقية تمامًا والمعادلات الجذرية ، والمعادلات المتعالية ، والمعادلات الجونية ، وكذلك المعادلات الأسية واللوغاريتمية.