(¬x1 ∨ ¬x2 ∨ ¬x3 ) is monomial ?