O operador lógico "OR" (ou "OU" em português) em lógica e matemática computacional é utilizado para combinar duas ou mais proposições, resultando em verdadeiro (1) se pelo menos uma das proposições for verdadeira, caso contrário, será falso (0). É uma operação fundamental para a lógica booleana e expressões condicionais em programação, onde a inclusão de múltiplas condições permite a tomada de decisões com base em diversas possibilidades. Considera a seguinte proposição: P OR Q Construa a tabela verdade correspondente e determine o valor da proposição para todas as combinações possíveis de P e Q. A. A proposição é sempre falsa, independentemente dos valores de P e Q. B. A proposição é verdadeira apenas quando P = True e Q = True. C. A proposição é verdadeira apenas quando P = False e Q = False. D. A proposição é sempre verdadeira, independentemente dos valores de P e Q. E. A proposição é verdadeira apenas quando P = True ou Q = True.