永真式的主析取範式

含有全部的極小項

永真式的主析取範式是含有全部的極小項，這是因為永真式在邏輯中指的是一個總是為真的命題，其主析取範式因此包含了所有可能的真值組合，即全部的極小項。