Simbologia: “ v “


Definição:

De acordo com RONALD J. TOCCI em “SISTEMAS DIGITAIS princípios e aplicações” 11ª Edição, Em circuitos digitais, uma porta OR é um circuito que tem duas ou mais entradas e cuja saída é igual à combinação das entradas por meio da operação OR. (...) As entradas P e Q são níveis lógicos de tensão, e a saída S é um nível lógico de tensão cujo valor é o resultado da operação OR entre P e Q; ou seja, S = A + B. Em outras palavras, a porta OR opera de modo que sua saída será ALTA (nível lógico 1) se a entrada A ou B ou ambas forem nível lógico 1. A saída de uma porta OR será nível BAIXO (nível lógico 0) apenas se todas as entradas forem nível 0.

Exemplos em linguagem natural:

P = Ficar em casa

Q = Ir ao cinema

P v Q = H : Ficamos em casa (OU) vamos ao cinema.


P = Preferir carne

Q = Preferir sala

P v Q = H : Você prefere carne (OU) prefere salada.


P = Comprar balas

Q = Comprar chocolates

P v Q = S : Com este dinheiro você pode comprar balas (OU) chocolates.

Fórmulas que equivalem semanticamente:


¬(¬P e ¬Q)


Tabela Verdade:


Negar Proposição P
Negar Proposição Q



P Q H
false false false
false true true
true false true
true true true
Referências: