IUNA

Instituto Universitario Nacional del Arte
Área Transdepartamental de Artes Multimediales

Curso Preuniversitario de Introducción a la Informática
Cátedra: Drelichman, Paleo, Nadel, Morales

CLASE 5



TABLAS DE VERDAD

1. Hacer la tabla de verdad de las siguientes expresiones y determinar si se trata
de tautologías, contradicciones o indeterminaciones

i. p ! q ( ) " q #
$
%
&
! p
ii. p ! q ( ) " ¬q #
$
%
&
! ¬p
iii.
 
p !q
( )
" p
[ ]
!q
iv.
 
p !q
( )
" ¬p
( ) [ ]
!¬q
v. p ! q ( ) " p " r ( ) #
$
%
&
! q
vi. p ! q ( ) " ¬q " r ( ) #
$
%
&
! ¬p
vii.
p ! q ( ) " r #
$
%
&
" p ' r [ ]

viii.
p ! q ( ) " p ! r ( ) #
$
%
&
" q

ix.
p ! ¬q ( ) " ¬r #
$
%
&
! ¬p ' r ( )

x. p ! r ( ) " q # r ( ) $
%
&
'
! ¬p # ¬q ( ) " r $
%
&
'

xi. p ! q ( ) ! ¬p ! ¬q ( )



IUNA - Curso Preuniversitario de Introducción a la Informática - Clase 5 - Pág. 2
LOGICA FORMAL

1. Resolución

i. La tabla de verdad muestra que se trata de una indeterminación.

p q p !q
p !q ( ) " q p ! q ( ) " q #
$
%
&
! p
V V V V V
V F F F V
F V V V F
F F V F V

ii. La tabla de verdad muestra que se trata de una tautología.

p q p !q ¬q
p !q ( ) " ¬q ( )
¬p
p ! q ( ) " ¬q ( ) #
$
%
&
! ¬p
V V V F F F V
V F F V F F V
F V V F F V V
F F V V V V V

iii. La tabla de verdad muestra que se trata de una tautología.

 
p
 
q
 
p !q
 
p !q
( )
" p
 
p !q
( )
" p
[ ]
!q
V V V V V
V F F F V
F V V F V
F F V F V

iv. La tabla de verdad muestra que se trata de una indeterminación.

 
p
 
q
 
p !q
 
¬p
 
p !q
( )
" ¬p
( )

 
¬q
 
p !q
( )
" ¬p
( ) [ ]
!¬q
V V V F F F V
V F F F F V V
F V V V V F F
F F V V V V V

v. La tabla de verdad muestra que se trata de una tautología.

p q
r
p !q p ! r
p !q ( ) " p " r ( ) p ! q ( ) " p " r ( ) #
$
%
&
! q
V V V V V V V
V V F V F F V
V F V F V F V
V F F F F F V
F V V V F F V
F V F V F F V
F F V V F F V
F F F V F F V











IUNA - Curso Preuniversitario de Introducción a la Informática - Clase 5 - Pág. 3
vi. La tabla de verdad muestra que se trata de una tautología.

p q
r
p !q ¬q ¬q ! r
p !q ( ) " ¬q " r ( )
¬p
p ! q ( ) " ¬q " r ( ) #
$
%
&
! ¬p
V V V V F F F F V
V V F V F F F F V
V F V F V V F F V
V F F F V F F F V
F V V V F F F V V
F V F V F F F V V
F F V V V V V V V
F F F V V F F V V

vii. es una indeterminación

p q
r
p ! q
p ! q ( ) "r
p !r
p ! q ( ) " r #
$
%
&
" p ' r [ ]
V V V V V V V
V V F V F F V
V F V F V V V
V F F F V F F
F V V F V F F
F V F F V V V
F F V F V F F
F V F F V V V

viii. es un indeterminación

p q
r
p ! q p ! r
p ! q ( ) " p ! r ( ) p ! q ( ) " p ! r ( ) #
$
%
&
" q
V V V V V V V
V V F V V V V
V F V V V V F
V F F V V V F
F V V V V V V
F V F V F F V
F F V F V V F
F V F F F V F

ix. es un indeterminación

p q
r
¬q p ! ¬q
¬r
p ! ¬q ( ) "¬r
¬p ¬p ! r
p ! ¬q ( ) " ¬r #
$
%
&
! ¬p ' r ( )
V V V F F F V F V V
V V F F F V V F F F
V F V V V F F F V F
V F F V V V V F F F
F V V F F F V V V V
F V F F F V V V V V
F F V V F F V V V V
F V F V F V V V V V


IUNA - Curso Preuniversitario de Introducción a la Informática - Clase 5 - Pág. 4
x. es una tautología

p q
r
p ! r q ! r
p ! r ( ) " q # r ( )
¬p ¬q ¬p ! ¬q
¬p ! ¬q ( ) "r p ! r ( ) " q # r ( ) $
%
&
'
! ¬p # ¬q ( ) " r $
%
&
'

V V V V V V F F F V V
V V F V F F F F F V V
V F V V F F F V F V V
V F F V F F F V F V V
F V V V V V V F F V V
F V F F F V V F F V V
F F V V F F V V V V V
F V F F F V V V V F V

xi. es una contradicción

p q p ! q ¬p ¬q ¬p ! ¬q
p ! q ( ) ! ¬p ! ¬q ( )
V V V F F F F
V F F F V F F
F V F V F F F
F F F V V V F