Update minterm.cpp