A fall -coloring of a graph is a proper -coloring of such that each vertex of sees all colors on its closed neighborhood. We denote the set of all positive integers for which has a fall -coloring. In this paper, we study fall colorings of the lexicographic product of graphs and the categorical product of graphs. Additionally, we show that for each graph , , where is the Mycielskian of the graph . Finally, we prove that for each bipartite graph , and it is polynomial time to decide whether or not.