<BF逻辑完善化