单基本式规则

• one-literal rule