There are various methods for establishing FMP for a given logic.
有各种方法为给定的逻辑建立 FMP。