Simplify Boolean expressions with interactive K-maps for 2-5 variables. Generate optimized logic and Verilog code instantly.