Dos expresiones son lógicamente equivalentes siempre que tengan el mismo valor de verdad para todas las combinaciones posibles de valores de verdad para todas las variables que aparecen en las dos exp...Dos expresiones son lógicamente equivalentes siempre que tengan el mismo valor de verdad para todas las combinaciones posibles de valores de verdad para todas las variables que aparecen en las dos expresiones. En este caso, escribimos X=Y y decimos que X e Y son lógicamente equivalentes.