wmpy.core.utils.is_clause

is_clause(formula)[source]

Returns true iff formula is a disjuction of literals.

Return type:

bool