Una vez cargado el V-K basta con activar la opción Exp. SOP Simplificada o Exp. POS Simplificada, con lo que BOOLE simplificará desde los 1 o desde los 0, respectivamente.

Recuerde el lector que la expresión mínima no ha de ser única, puede que la que él esté pensando sea distinta de la presentada por BOOLE, siendo ambas correctas.