I) Dadas las reglas:

a) "no (A y B)" es lo mismo que "(no A) o (no B)"

y también,

b) "no (A o B)" es lo mismo que "(no A) y (no B)"

Actividades
 Escribe simbólicamente las reglas a y b
 Comprueba la representación simbólica de cada regla

¬ (p^Q) <=> (¬p) v (¬Q)

¬ (p^Q) <=> (¬p) ^ (¬Q)

̴ Es el operador de negación (no)

٨ Es el operador de conjunción (y)

V Es el operador de disyunción (o)

Es un símbolo meta lógico que significa puede ser remplazando n en una

prueba lógica

II) Realice la comprobación tautológica de las siguientes reglas (usa

1 para verdadero y 0 para falso)