Ejercicio de Lógica Computacional: Operador XOR, Cheat Sheet of Computational Methods

Download Ejercicio de Lógica Computacional: Operador XOR and more Cheat Sheet Computational Methods in PDF only on Docsity!

Entrega 1 - Escenario 4 Autor: Anderson Castro Franco Politécnico grancolombiano Herramientas de lógica computacional Tutor: Olarte John 17 de septiembre 2024

1. Nombre del conector lógico XOR (O Exclusiva)
2. Expresión del lenguaje cotidiano traducida al lenguaje formal Expresión cotidiana: Estoy en casa o en el trabajo, Pero no en ambos lugares. Lenguaje formal: (C XOR T) ≡ (C ∧ ¬T) v (¬C ∧ T) Donde: C: Estoy en casa T: Estoy en el trabajo XOR: O Exclusiva ∧: Conjunción (AND) V: Disyunción (OR) ¬: Negación
3. Propiedad válida para el operador XOR Propiedad: Conmutativa (o Simétrica) Justificación: La propiedad conmutativa establece que el orden de las proposiciones no afecta el resultado: p XOR q ≡ q XOR p Demostración:

   p	q	p XOR q	q XOR p
   V	V	F	F
   V	F	V	V
   F	V	V	V
   F	F	F	F

Referencia

• Pkulikov. (2023, 7 abril). Operadores lógicos booleanos: los operadores booleanos and, or, not y xor - C#. Microsoft Lear. https://learn.microsoft.com/es-es/dotnet/csharp/language-reference/ operators/boolean-logical-operators
• Exclusive OR Operación: XOR Gate, table, explain | StudySmarter. (s. f.). StudySmarter UK. https://www.studysmarter.co.uk/explanations/computer-science/computer-programming/ exclusive-or-operation/

• Segundo párrafo donde

dé cuenta del tema que

aborda la canción y la

forma en qué lo

plantea

• Segundo párrafo donde

dé cuenta del tema que

aborda la canción y