Bueno para probar si es A.B, podes demostrar que es una red complementada y distributiva. Complementada es que todo elemento posee un complemento es decir que (x,y)= Y. En otras palabras que cada elemento "operado" con otro te de el Maximo. Y para Distributiva te armas el diagrama de haase y nuestra profesora nos comento que demostremos eso indicando que la estructura de haase no se asemeja a las subredes, que te las graficaría pero no se como. Veo si ahora te las hago con algun programita y te las subo.


EDIT: LE planteas que el diagrama de haase no se asemeja a dichas subredes por lo tnato es distributiva.
Las 2 subredes son :
(Te lo adjunto el archivo porque no me sube la imagen)