UnateQ

UnateQ[bexpr,{x1,x2,…}] tests whether the Boolean expression bexpr is positive unate in the variables x1, x2, … .

UnateQ[bexpr,{¬x1,¬x2,…}] tests whether the Boolean expression bexpr is negative unate in the variables x1, x2, … .

Please visit the official Wolfram Language Reference for more details and examples on core symbols.