Mendel formulated the law of independent assortment based on his dihybrid cross experiments, where he studied two different traits simultaneously. These experiments showed that alleles for different traits assort independently during gamete formation.