let
is_tautology (clause: clause) : bool =
is_tautology_1 clause
||
is_tautology_2 clause