Operadores e Expressões Lógicas

Os operadores lógicos são do tipo booleanos, que servem para avaliar valores verdadeiros (True) e falsos (False). O nome "booleano" vem do filósofo matemático George Boole que desenvolveu o conceito de avaliações de expressões que resultam numa lógica fundamentada em Verdadeiro e Falso. Este conceito é de extrema importância para a computação digital, o qual consiste em um dos alicerces desta área da ciência. Para ler mais sobre George Boole acesse os links do wikipedia, da USP. Para rápido entendimento, dê uma procurada no google por tabela verdade.

A documentação Python também dispõe de explicações (inglês) - doc python.

Estes operadores são comumente usados para criar e avaliar expressões entre operandos.

Os operadores lógicos em Python são:

not - conhecido como operador de negação. Retorna o valor contrário do operando avaliado.

and - verifica se ambos operandos são verdadeiros.

or - verifica se um dos operandos é verdadeiro.

O operador not é chamado de unário, pois só avalia um operando ou uma expressão. Os operadores and e or são chamados de binários, pois avaliam mais de um operando/expressão. Os binários irão verificar se o primeiro operando é True e em seguida avalia o segundo operando.

No caso de and, verifica o primeiro se True, caso confirme, verifica o segundo e só retorna True se ambos são True.

Para or, ele verifica se o primeiro operando for True, ele retornará o resultado True, caso contrário, verifica se o segundo é True. Então, um dos dois operandos deverá ser True.

Expressões

Para compreender melhor, veja uma expressão simples:

>>> x or y

Na expressão acima temos: <operando> <operador> <operando>

Vejamos alguns exemplos práticos, mas antes, vamos declarar as seguintes variáveis:

>>> x = True
>>> y = True
>>> z = False

Operador not:

>>> not x
False
>>> not z
True

Operador and:

>>> x and y
True
>>> x and z
False

Operador or:

>>> x or y
True
>>> z or y
True
>>> True or False
True
>>> False or False
False
>>> False or True
True

Relembre: not inverte o valor, and retorna True se todos os operandos são True e or retorna True se um dos operandos for True. Caso contrário, os resultados serão False.

Complicando um pouco mais...

Se tivermos expressões mais longas, Python seguirá uma ordem de avaliar os operadores:

1º not, 2º and e 3º or

Exemplos:

>>> not False and True
True

Acima, vemos a avaliação de not False, que retorna True. Então teremos True and True, que tem como resultado True.

>>> not True and True
False

Vemos aqui acima a operação contrária da primeira. Para not True, temos False, restando False and True. Como and só retorna True quando ambos são True, o resultado é False.

Com os três operadores, veja a ordem sendo executada:

>>> not True and False or True
True

Destrinchando a expressão acima... not True retorna False, que fica False and False or True. Então and irá retornar False, pois ambos operadores são False, restando False or True, que resulta em True. Porque or retorna True se um dos operandos for True.

Realize o exercício abaixo sem utilizar o IDLE do python. Após responder, verifique se suas respostas estão corretas executando as expressões abaixo no interpretador IDLE.

>>> not 2 < 3
>>> not 1 == 1.0
>>> 1 == 1.0 and 10 < 11
>>> False and False
>>> False or 1 < 2
>>> 1 and 1
>>> 1 or 0
>>> True or False and False
>>> not True or False
>>> not (True or False)
>>> not (not True)