Tengo una expresión booleana y necesito llegar a las formas canónicas de la misma (suma de términos mínimos y producto de términos máximos).
Para obtener una expresión para la primera forma canónica, necesito multiplicar cada término por (x + ~ x), donde x es la variable que falta. ¿Existe un algoritmo similar para llegar a la segunda forma canónica?