Cómo encontrar el subíndice m en la forma normal disyuntiva principal

El método para encontrar el paradigma disyuntivo principal es: los términos mínimos contenidos en el paradigma disyuntivo principal simplificado a partir de la fórmula proposicional se componen de la suma de términos mínimos, y los subíndices corresponden a los términos mínimos asignados a la fórmula proposicional obtenida. El valor verdadero debe ser 1. La forma normal de la conjunción principal consiste en el producto de términos máximos y el valor de verdad del destino

es 0. Una conjunción simple (disyunción simple) que contiene n variables proposicionales, si cada variable proposicional y su negación no aparecen al mismo tiempo, sino que una de las dos debe aparecer y solo una vez, y la i-ésima variable proposicional o su negación aparece en la i-ésima posición desde la izquierda (orden lexicográfico

columna), la conjunción simple (disyunción simple) se llama término mínimo (término máximo).