\ begin {alinear*} a\ vee (b\ cuña c) & = [a\ vee (a\ cuña c)]\ vee (b\ cuña c)\\ & = a\ vee [(a\ cuña c)\ vee (b\ cuña c)]\\ & = a\ vee [(c\ cuña a)\ vee (c\ cuña b)]\\ & = a\ vee [c\ cuña (a\ vee b)...\ begin {alinear*} a\ vee (b\ cuña c) & = [a\ vee (a\ cuña c)]\ vee (b\ cuña c)\\ & = a\ vee [(a\ cuña c)\ vee (b\ cuña c)]\\ & = a\ vee [(c\ cuña a)\ vee (c\ cuña b)]\\ & = a\ vee [c\ cuña (a\ vee b)]\\ & = a\ vee [(a\ vee b)\ cuña c]\\ & = [(a\ vee b)\ cuña a]\ vee [(a\ vee b)\ cuña c]\\ & = (a\ vee b)\ cuña (a\ vee c)\ texto {.} \ end {alinear*}