vis_simplified

(3 * 5 * ! 8 * ! 9) + (! 3 * 4 * 5 * ! 6 * ! 9) + (! 4 * ! 6 * 7 * ! 9) + (! 5 * ! 6 * 7 * ! 9) + (6 * ! 8 * ! 9) + (! 7 * 8 * ! 9)