4.3 逻辑性很强的功能判别检查法