扩展: 可用下列规则进一步简化F+的手工计算 若α→β与α→γ成立,则α→By成立(合并 (→>B,a→B;a→y,aB→Bv;a→>By) 若α→βY成立,则a→B与a→y成立(分解) (→>By,By→B,0→>B) 若α→B与γB→8成立,则αy→8成立(伪传递 (→>B,Y→YB;YB→>8,ya→>6)扩展： • 可用下列规则进一步简化F + 的手工计算. – 若 →  与  →  成立, 则 →   成立 (合并) ( →  ,  →   ;  → ,   →  ;  →   ) – 若 →   成立, 则 →  与 →  成立 (分解) ( →   ,   →  ,  →  ) – 若 →  与   →  成立, 则  →  成立 (伪传递) ( →  ,   →  ;   →  ,   →  )