EJERCICIOS LOGICA MATEMATICA

A partir de los conectivos negación ( ‘ ) y disyunción ( ∨ ) se definen:

Con ayuda de tablas de verdad demostrar:

1 ) ( p’ )’ ⇔ p

2 ) p ∧ p’ ⇔ F

3 ) p ∨ p’ ⇔ V

4)p∨V⇔V

5)p∧V⇔p

6)p∨F⇔p

7)p∧F⇔F

8)p∧(p∨q)⇔p

9)p∨(p∧q)⇔p

10 ) ( p ∧ q )’ ⇔ p’ ∨ q’

11 ) ( p ∨ q )’ ⇔ p’ ∧ q’

12 ) ( p ∧ q ) ∧ r ⇔ p ∧ ( q ∧ r )

13 ) ( p ∨ q ) ∨ r ⇔ p ∨ ( q ∨ r )

14 ) ( p ↔ q ) ↔ r ⇔ p ↔ ( q ↔ r )

15 ) p ∧ ( q ∨ r ) ⇔ ( p ∧ q ) ∨ ( p ∧ r )

16 ) p ∨ ( q ∧ r ) ⇔ ( p ∨ q ) ∧ ( p ∨ r )
17 ) p’ ∨ q ⇔ p → q

18 ) p ↔ q ⇔ ( p → q ) ∧ ( q → p )

19 ) p ↑ q ⇔ ( p ∧ q )’

20 ) p ↓ q ⇔ ( p ∨ q )’

21 ) p ⊕ q ⇔ ( p ∨ q ) ∧ ( p ∧ q )’

A partir de los conectivos negación ( ‘ ) y disyunción ( ∨ ) se definen:

Utilizando esas definiciones y las leyes de lógica matemática, demostrar las

siguientes tautologías:

1 ) p → q ⇔ q’ → p’

2 ) ( p → q )’ ⇔ p ∧ q’

3 ) p → ( q ∧ q’ ) ⇔ p’

4 ) ( q ∨ q’ ) → p ⇔ p

5)(p∧q)→r⇔p→(q→r)

6)p→(q→r)⇔q→(p→r)

7)(p→q)↔p⇔p∧q

8)(p→q)↔q⇔p∨q

9 ) p ↔ q ⇔ ( p ∧ q ) ∨ ( p’ ∧ q’ )

10 ) p’ ↔ q’ ⇔ p ↔ q

11 ) ( p ↔ q )’ ⇔ p’ ↔ q

12 ) ( p → q ) ∧ ( p → r ) ⇔ p → ( q ∧ r )
13 ) ( p → q ) ∨ ( p → r ) ⇔ p → ( q ∨ r )

14 ) ( p → r ) ∧ ( q → r ) ⇔ ( p ∨ q ) → r

15 ) ( p → r ) ∨ ( q → r ) ⇔ ( p ∧ q ) → r

16 ) p ⇒ p ∨ q

17 ) p ⇒ q → p

18 ) p’ ⇒ p → q

19 ) ( p ∧ p’ ) ⇒ q

20 ) ( p → q ) ∧ p ⇒ q

21 ) ( p → q ) ∧ q’ ⇒ p’

22 ) p’ ⇔ p ↑ p

24 ) p ∧ q ⇔ ( p ↑ q ) ↑ ( p ↑ q )

25 ) p ∧ q ⇔ ( p ↓ p ) ↓ ( q ↓ q )

26 ) p ∨ q ⇔ ( p ↓ q ) ↓ ( p ↓ q )

27 ) p ∨ q ⇔ ( p ↑ p ) ↑ ( q ↑ q )