Can you recommend a carnot map minimization program?

Question

Software and Internet Services

Hello, I encountered a very large truth table (when synthesizing a decoder for a matrix) to
manually minimize and write out maps for a very long time.
What software do you use for this purpose?

Answer 1

tablica-istinnosti.ru/newindex.html

Answer 2

if the number of variables is less than eight, then you can Multisim

Answer 3

For an arbitrary number of variables, you can use this calculator: https://programforyou.ru/calculators/postroenie-ta...
True, you will most likely need to wait a bit if there are a lot of variables.