(prog1 && prog1) || (prog3 || prog4)