(*args)
return get_env().formula_manager.Or(*args)
r""".. math:: \varphi_0 \lor \cdots \lor \varphi_n
r""".. math:: \varphi_0 \lor \cdots \lor \varphi_n
r .. math :: \ varphi_0 \ lor \ cdots \ lor \ varphi_n
def Or(*args):
    r""".. math:: \varphi_0 \lor \cdots \lor \varphi_n """
    return get_env().formula_manager.Or(*args)
def Or ( * args ) : return get_env ( ) . formula_manager . Or ( * args )