implicant, PI,EPI,RPI,SPI