public void solveFromKMap(boolean kmap[][], int nbrVar, String varOrder) {
		Simplification simplify = new Simplification(kmap, nbrVar, varOrder,
				this);
		simplify.launchSimplification(Type.KARNAUGH_MAP);
		program.createTree(1);
		showSolution();

	}