Flashcard FC329769
Como se representa simbolicamente a disjunção exclusiva entre duas proposições p e q?
Lógica de Proposições
IBGP · 2018
Como se representa simbolicamente a disjunção exclusiva entre duas proposições p e q?
Mostrar resposta e comentário
Resposta
\(p \oplus q\)Disjunção exclusiva (XOR): verdadeira quando exatamente uma das proposições é verdadeira.
Formalmente: \(p \oplus q \equiv (p \lor q)\land\neg(p\land q)\).
Exemplo:
Sejam r = "o sensor detecta movimento" e s = "o alarme está ativo".
\(r=true,\, s=false \Rightarrow r\oplus s = true\)
\(r=false,\, s=true \Rightarrow r\oplus s = true\)
\(r=true,\, s=true \Rightarrow r\oplus s = false\)
\(r=false,\, s=false \Rightarrow r\oplus s = false\)
⬇️ Assista à vídeoaula ⬇️ Aula sobre Proposições
Veja como foi cobrado:
https://flashcardsconcursos.com.br/portal/flashcard/329354
Conteúdo do catálogo FC Concursos · Atualizado em