С помощью какой программы можно решить задания по дискретной математике?

Можно ли решить задания с раздела математическая логика с помощью какой то программы либо онлайн сервиса, что можете посоветовать по этому поводу?