See my work at: https://digital-logic-simplification-k-map-tabulation.vercel.app/
This webapp simplifies boolean expressions (In both SOP and POS form) and also find all PRIME IMPLICANTS, ESSENTIAL PRIME IMPLICANTS based on given minterms/ maxterms and don't cares
using KMap and tabulation method (Quine-McCluskey Method).