def oposto(a):
    """
    Faz a negação do literal de acordo com os moldes do algoritmo.

    :param a: literal
    :return: negação do literal
    """
    if a[0] == '~':
        aux = a[1:]
    else:
        aux = ''.join(['~', a])
    return aux