propositional-logic Definition Propositional Factoring Inference Rule C∨FC∨F∨F(factoring) where C∨F is called factor.