Universidad Tecnológica Nacional

Facultad Regional Concepción del Uruguay

Guı́a Práctica - Unidad 1 - Resolución

Matemática Discreta

Dr. Carlos Antonio Casanova Pietroboni

Ing. Giovanni Daián Rottoli

Ing. Gonzalo Maximiliano Gorosito

Srta. Luisina Gras

2020
1. Lógica Proposicional
1. Escribir los enunciados en forma simbólica, y utilizar tablas de verdad para evaluar la
verdad de cada enunciado.

a) Sea s = ”las acciones están aumentando” y m = ”las tasas de interés se mantienen

estables”
1) Las acciones están aumentando, pero las tasas de interés son constantes.
Resolución
s m ¬m s ∧ m
V V F F
V F V V
F V F F
F F V F
2) Ni las acciones aumentan, ni las tasas de interés son estables.
Resolución
s m ¬s ¬m ¬s ∧ ¬m
V V F F F
V F F V F
F V V F F
F F V V V
3) Las acciones aumentan, pero las tasas de interés varı́an.
Resolución
s m ¬m s ∧ ¬m
V V F F
V F V V
F V F F
F F V F

4) Las tasas de interés varı́an o las acciones se mantienen constantes o bajan.

Resolución

s ¬s m ¬m ¬m ∨ ¬s
V F V F F
V F F V V
F V V F V
F V F V V
b) Sea m = ”Juan estudia la licenciatura en matemáticas y c = ”Juan estudia la licen-
ciatura en ciencias de la computación”.
1) Juan estudia la licenciatura en matemáticas pero no estudia la licenciatura en
ciencias de la computación.
Resolución

1
 m c ¬c m ∧ ¬c
V V F F
V F V V
F V F F
F F V F

2) Juan estudia la licenciatura en matemáticas o la licenciatura en ciencias de la

computación
Resolución

m c m∨c
V V V
V F V
F V V
F F F
3) Juan estudia la licenciatura en ciencias de la computación o la licenciatura en
matemáticas.
Resolución
m c c∨m
V V V
V F V
F V V
F F F
c) Sea h = ”Juan es sano”, w = ”Juan es rico” y s = ”Juan es sabio”.
1) Juan es sano y rico, pero no sano
Resolución
h w ¬h h ∧ w (h ∧ w) ∧ ¬h
V V F V F
V F F F F
F V V F F
F F V F F
2) Juan no es rico, pero es sano y sabio
Resolución
h w s ¬w ¬w ∧ (h ∧ s)
V V V F F
V V F F F
V F V V V
V F F V F
F V V F F
F V F F F
F F V V F
F F F V F

2
 3) Juan ni es sano, rico, ni sabio
Resolución

h w s ¬h ¬w ¬s ¬h ∧ ¬w ∧ ¬s
V V V F F F F
V V F F F V F
V F V F V F F
V F F F V V F
F V V V F F F
F V F V F V F
F F V V V F F
F F F V V V V
4) Juan no tiene dinero, pero es muy saludable y sabio.
Resolución
h w s ¬w ¬w ∧ h ∧ s
V V V F F
V V F F F
V F V V V
V F F V F
F V V F F
F V F F F
F F V V F
F F F V F
5) Juan tiene dinero y es sabio, o es muy saludable.
Resolución

h w s w∧s w∧s∨h
V V V V V
V V F F V
V F V F V
V F F F V
F V V V V
F V F F F
F F V F F
F F F F F
6) Juan es saludable o no es sabio.
Resolución
h s ¬s h ∨ ¬s
V V F V
V F F F
F V V F
F F V F

3. Utilizar tablas de verdad para establecer el valor de verdad de cada uno de los siguientes
enunciados:

a) Un enunciado condicional no es lógicamente equivalente a su recı́proco.

Resolución

3
 p q p→q q→p
V V V V
V F F V
F V V F
F F V V
b) Un enunciado condicional no es lógicamente equivalente a su contrario.
Resolución
p q ¬p ¬q p → q ¬p → ¬q
V V F F V V
V F F V F V
F V V F V F
F F V V V V
c) Un enunciado condicional es lógicamente equivalente a su contrarecı́proco.
Resolución
p q ¬p ¬q p → q ¬q → ¬p
V V F F V V
V F F V F F
F V V F V V
F F V V V V
d ) El recı́proco y el contrario de un enunciado condicional son lógicamente equivalentes
entre sı́.
Resolución
p q ¬p ¬q q → p ¬p → ¬q)
V V F F V V
V F F V V V
F V V F F F
F F V V V V

5. Determinar si las formas de enunciados son lógicamente equivalentes

a) p ∨ (p ∧ q) y p

p ∨ (p ∧ q) y p

p y p (D-1) - Por absorción

b) ¬ (p ∧ q) y (¬ p ∧ ¬ q)

(¬ p ∨ ¬ q) y (¬ p ∧ ¬ q) (I-1) - Por ley de De Morgan

No son lógicamente equivalentes.

c) p ∨ > y >

> y > (I-1) - Por elem. absorbente

4
d) p ∧ > y p

p y p (I-1) - Por elem. neutro

e) p ∧ ⊥ y p∨⊥
No son lógicamente equivalentes.
p F p∧F p∨F
V F F V
V F F V
F F F F
F F F F

f ) (p ∧ q) ∧ r y p ∧ (q ∧ r)

p ∧ (q ∧ r) y p ∧ (q ∧ r) (I-1) - Por prop. asociativa

g) p ∧ (q ∨ r) y (p ∧ q) ∨ (p ∧ r)

(p ∧ q) ∨ (p ∧ r) y (p ∧ q) ∨ (p ∧ r) (I-1) - Por prop. distributiva

También se podrı́a tomar el lado derecho y reducir la expresión por medio de la

misma propiedad y quedar igual que el lado derecho inicial.

h) (p ∧ q) ∨ r y p ∧ (q ∨ r)

(p ∨ r) ∧ (q ∨ r) y (p ∧ q) ∨ (p ∧ r) Por prop. distributiva en ambos miembros

No son lógicamente equivalentes.

i ) (p ∨ q) ∨ (p ∧ r) y (p ∨ q) ∧ r

(p ∨ q) ∨ (p ∧ r) y (p ∧ r) ∨ (q ∧ r) (D-1) Por prop. distributiva

No son lógicamente equivalentes.

j ) (p → q) y ¬ p∨q

¬ p∨q y ¬ p∨q (I-1) Por definición de condicional

k ) ¬ (p → q) y p∧¬ q

¬(¬ p ∨ q) y p∧¬ q (I-1) Por definición de condicional

p ∧ ¬q y p∧¬ q (I-2) Por ley de De Morgan

5
 l ) p → (q → r) y (p → q) → r
La operación condicional no es asociativa. El lector puede comprobar esto realizando
la tabla de verdad correspondiente.

m)

p → q∨texty p ∧ q → rtexty p∧¬ r →q

¬p ∨ (q ∨ r)y ¬(p ∧ q) ∨ ry ¬(p ∧ ¬ r) ∨ qPor def. de cond
¬p ∨ q ∨ ry p ∨ ¬q ∨ ry ¬p ∨ r ∨ qPor LDDM

7. Suponga que x es un número real dado y utilice las leyes de De Morgan para escribir las
negaciones.

a) −2 < x < 7 d) x ≤ 1 o x > 5

b) −10 < x < 2 e) 1 > x ≥ −3
c) x < 2 o x > 5 f ) 0 > x ≥ −7

Resoluciones

a) x < −2 ∨ x > 7
b) x < −10 ∨ x > 2
c) 2 < x < 5 (Lo mismo que decir: x > 2 ∧ x < 5)
d ) x ≥ 1 ∧ x < 5 (Lo mismo que decir: 1 ≥ x < 5)
e) x > 1 ∨ x ≤ −3
f ) x > 0 ∨ x ≤ −7

9. Expresar simbólicamente y determinar si los enunciados son lógicamente equivalentes:

a) Suponga que x es un número real dado

1) x < 2 o no es el caso de que 1 < x < 3
2) x ≤ 1 o bien x < 2 o x ≥ 3
Enunciado 1
Sea p = x < 2, q = 1 < x, r = x < 3
Entonces el enunciado 1 serı́a:
p ∨ (q ∧ r)

Enunciado 2
Sea
p=x≤1,q=x<2,r=x≥3
Entonces el enunciado 2 serı́a:
p ⊕ (q ∨ r)

Demostrando equivalencia lógcia de E1 y E2

p ∨ (q ∧ r) y p ⊕ (q ∨ r)
p ∨ (q ∧ r) y ¬(p ↔ (q ∨ r)) - De E2 por propiedad de Disyunción Exclusiva y

6
 negación.
p ∨ (q ∧ r) y ¬[(p → q) ∧ (q ∨ r)] - De E2 por propiedad de Disyunción Exclusiva
y negación.

b)
1) Jorge estudia dos carreras en matemáticas y en ciencias de la computación,
mientras que Ana es una estudiante de lic. en matemáticas, pero Ana no estudia
dos carreras en matemáticas y en ciencias de la computación.
2) No es el caso de que tanto Jorge como Ana estudian dos carreras en matemáticas
y en ciencias de la computación, pero es el caso de que Ana estudia licenciatura
en matemáticas y que Jorge estudia dos carreras en matemáticas y en ciencias
de la computación.
Resolución
Pendiente
c)
1) Pagó el precio completo y no compró en la fotocopiadora de la UTN.
2) No compró en la fotocopiadora de la UTN o pagó el precio completo.
Resolución
Sea
p = ”Pagó el precio completo”, q = ”No compró en la fotocopiadora de la UTN”
Entonces el enunciado 1 (E1) serı́a:
p∧q
Y el enunciado 2 (E2) serı́a:
p∨q

No es posible demostrar la equivalencia lógica de estos dos enunciados.

d)
1) Si 2 es un factor de n y 3 es un factor de n, entonces 6 es un factor de n.
2) 2 no es un factor de n o 3 no es un factor de n o 6 es un factor de n.
Resolución
Sea
p = Si 2 es un factor de n , q = 3 es un factor de n , r = 6 es un factor de n
Entonces el enunciado 1 (E1) serı́a:
p∧q→r
Y el enunciado 2 (E2) serı́a:
¬p∨¬q∨r

Demostrando equivalencia lógica de E1 y E2

p ∨ q → ry ¬p ∨ ¬q ∨ r
¬(p ∧ q) ∨ ry ¬p ∨ ¬q ∨ rDe E1 por definición de condicional
(¬p ∨ ¬q) ∨ ry (¬p ∨ ¬q) ∨ rDe E1 por LDDM y E2 por prop. asociativa.

e)
1) Si camina como un pato y habla como un pato, entonces es un pato.
2) O bien no camina como pato o no habla como pato, o es un pato.
3) Si no camina como un pato y no habla como pato, entonces no es un pato.

7
 Resolución
Sea
p = Camina como un pato, q = habla como un pato, r = es un pato
Entonces el enunciado 1 (E1) serı́a:
(p ∧ q) → r
El enunciado 2 (E2) serı́a:
(¬ p ⊕ ¬ q) ∨ r
Y el enunciado 3 (E3) serı́a:
(¬ p ∧ ¬ q) → ¬ r

Demostrando la NO equivalencia lógcia de E1, E2 y E3

Tomando como partida E1 y E3, a simple vista parecerı́an un condicional y su
contrario, pero esto no es ası́ por el lado izquierdo de E3. Incluso aunque lo fuere, el
condicional directo y el contrario no son lógicamente equivalentes, en consecuencia
podemos concluir que E1 y E3 no son lógicamente equivalentes.
Luego, por definición de bi-condicional en E2 podrı́a operarse para dejar expresado
el enunciado en términos de disyunciones y conjunciones. Sin embargo el resultado
final no serı́a lógicamente equivalente con E1 o E2.
Queda a cargo del alumno la generación de tablas de verdad para validar.

11. Utilizar las leyes de equivalencia para comprobar las equivalencias planteadas en los si-
guientes puntos:

a) (p ∧ ¬ q) ∨ p ≡ p
p ≡ p Por elemento absorbente

b) p ∧ (¬ q ∨ p) ≡ p
p ≡ p Por elemento absorbente

c)

¬(p ∨ ¬q) ∨ (¬p ∧ ¬q) ≡ ¬p

(¬p ∧ q) ∨ (¬p ∧ ¬q) ≡ ¬p Por LDDM
¬p ∧ (q ∨ ¬q) ≡ ¬p Por prop. distributiva
¬p ∧ > ≡ ¬p Por ley de 3ro excl.
¬p ≡ ¬p Por elem. neutro

d ) ¬ ((p ∧ ¬ q) ∨ (¬ p ∧ ¬ q)) ∨ (p ∧ q) ≡ ¬ p
Pendiente de resolución

e)

(p ∧ (¬ (¬ p ∨ q))) ∨ (p ∧ q) ≡ p
(p ∧ (p ∧ ¬q)) ∨ (p ∧ q) ≡ p
(p ∧ ¬q) ∨ (p ∧ q) ≡ p
p ∧ (q ∨ ¬q) ≡ p
p∧>≡p
p≡p
Por LDDM
Por Idempotencia
Por Prop. distributiva (inversa)
Por ley de 3ro excluı́do.
Por elemento absorbente

8
13. Expresar simbólicamente los siguientes enunciados, negarlos, y expresar dichas negaciones
de manera coloquial.

a) Si C es un caballo, entonces C es un animal.

Sea p = Si C es un caballo, q = C es un animal

p→q
¬(p → q)
¬(¬p ∨ q) Por definición de condicional
p ∧ ¬q Por ley de De Morgan
¬q → ¬p Por equiv. lógica con Condicional Contrario de (q → p)

ver lo anterior que me suena raro

Expresión coloquial p ∧ ¬q
C no es un caballo y C no es un animal.
Expresión coloquial (¬q → ¬p)
Si C no es un animal, entonces C no es un caballo.

b) Si hoy es Nochebuena, entonces mañana es Navidad.

Sea p = Hoy es Nochebuena, q = Mañana es Navidad

p→q
¬(p → q)
¬(¬p ∨ q) Por definición de condicional
p ∧ ¬q Por ley de De Morgan
¬q → ¬p Por equiv. lógica con Condicional Contrario de(q → p)

ver lo anterior que me suena raro

Expresión coloquial (p ∧ ¬q)
Hoy no es Nochebuena y mañana no es Navidad.
Expresión coloquial (¬q → ¬p)
Si mañana no es Navidad, entonces hoy no es Nochebuena.

c) Si la expansión decimal de r es finita, entonces r es racional.

Sea p = La expansión decimal de r es finita, q = r es racional

p→q
¬(p → q)
¬(¬p ∨ q) Por definición de condicional
p ∧ ¬q Por ley de De Morgan
¬q → ¬p

9
 Expresión coloquial p ∧ ¬q
La expansión decimal de r no es finita y r no es racional.
Expresión coloquial ¬q → ¬p
si r no es racional, entonces la expansión decimal de r no es finita

d ) Si n es primo, entonces n es impar o n es 2.

Sea p = n es primo, q = n es impar, r = n es 2

p → (q ∨ r)
¬(p → (q ∨ r))
¬(¬p ∨ (q ∨ r)) Por definición de condicional
p ∧ (¬(q ∨ r)) Por ley de De Morgan
p ∧ ¬q ∧ ¬r Por ley de De Morgan
Expresión coloquial n es primo y es no es impar ni es 2.

e) Si x es no negativo, entonces x es positivo o x es 0.

Sea p = x es positivo, q = x es 0

p → (p ∨ q)
¬(p → (p ∨ q))
¬(¬p ∨ (p ∨ q)) Por definición de condicional
p ∧ ¬p ∨ ¬q Por ley de De Morgan
Expresión coloquial x es positivo y x es negativo y x no es 0

f ) Si Carlos es el padre de Ricardo, entonces José es su tı́o y Marı́a es su tı́a.

Sea p = Carlos es el padre de Ricardo, q = José es su tı́o, r = Marı́a es su tı́a
p → (q ∧ r)
¬(p → (q ∧ r))
¬(¬p ∨ (q ∧ r)) Por definición de condicional
(¬(¬p) ∧ ¬(q ∧ r)) Por ley de De Morgan
(p ∧ ¬(q ∧ r)) Por ley de doble negación
(p ∧ (¬q ∨ ¬r)) Por ley de De Morgan
Expresión coloquial
Carlos es el padre de Ricardo y ni José es su su tı́o ni Marı́a su tı́a.

g) Si n es divisible entre 6, entonces n es divisible entre 2 y entre 3.

Sea p = n es divisible entre 6, q = n es divisible entre 2 , r = n es divisible entre 3:

p → (q ∧ r)
¬(p → (q ∧ r))
¬(¬p ∨ (q ∧ r)) Por definición de condicional
¬(¬p) ∧ ¬(q ∧ r) Por ley de De Morgan
(p ∧ ¬(q ∧ r)) Por ley de doble negación
(p ∧ (¬q ∨ ¬r)) Por ley de De Morgan

10
 Expresión coloquial n es divisible entre 6 y n es no divisible entre 2 ni 3

Demostrando la NO equivalencia lógcia de E1, E2 y E3

15. Usar la doble implicación ↔ para convertir cada una de las siguientes equivalencias lógicas
en una tautologı́a, y luego comprobarlo mediante tablas de verdad.

a)

p → (q ∨ r) ≡ (p ∧ ¬ q) → r
(p → q) ∨ (p → r) ≡ ¬(p ∧ ¬ q) ∨ r
(¬p ∨ q) ∨ (¬p ∨ r) ≡ (¬p ∨ q) ∨ r
(¬p ∨ ¬p) ∨ (q ∨ r) ≡ ¬p ∨ ( q ∨ r)
¬p ∨ (q ∨ r) ≡ ¬p ∨ ( q ∨ r)
Por eq. lógica de condicional — Por def. cond.
Por definición de condicional — Por LDDM
Por prop. asociativa
Por idempotencia

b)

p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
(p ∧ q) ∨ (p ∧ r) ≡ (p ∧ q) ∨ (p ∧ r) Por prop. distributiva

c) p → (q → r) ≡ (p ∧ q) → r
Revisar.

17. Reescriba los siguientes enunciados en la forma si-entonces.

a) El pago se efectuará a menos que se conceda una nueva audiencia.

b) Ana irá a menos que llueva
c) Esta puerta no se abrirá a menos que se introduzca la contraseña correcta.
d ) Tomar el colectivo a las 8 de la mañana es condición suficiente para llegar al trabajo
a tiempo.
e) Tener dos ángulos de 45◦ C es condición suficiente para que el triángulo sea rectángu-
lo.
f ) Ser divisible por 3 es condición necesaria para que este número sea divisible por 9.
g) Hacer los ejercicios de esta guı́a es condición necesaria para aprobar Matemáticas
Discretas.

Resolución

a) Si no se concede una nueva audiencia, entonces el pago se efecturará.

b) Si llueve, entonces Ana no irá
c) Si se introduce la contraseña correcta, entonces la puerta se abrirá
d ) Si se toma el colectivo a las 8 de la mañana, entonce se llega al trabajo a tiemoo.
e) Tener dos ángulos de 45◦ C es condición suficiente para que el triángulo sea rectángu-
lo.
f ) Ser divisible por 3 es condición necesaria para que este número sea divisible por 9.
g) Hacer los ejercicios de esta guı́a es condición necesaria para aprobar Matemáticas
Discretas.

11
19. Usar las equivalencias lógicas p → q ≡ ¬ p ∨ q y p ↔ q ≡ (¬ p ∨ q) ∧ (¬ q ∨ p) para
reescribir las siguientes formas de enunciado sin utilizar los sı́mbolos → y ↔. Luego utilice
la equivalencia (p ∨ q) ≡ ¬(¬ p ∧ ¬ q) para reescribir las formas resultantes sólo utilizando
los sı́mbolos ∧ y ¬.

a) p ∧ q → r

¬(p ∧ q) ∨ r Por definición de condicional

p ∧ q ∧ ¬r Por ley de De Morgan

b) p ∨ ¬ q → r ∨ q

¬(p ∨ ¬q) ∨ (r ∨ q) Por Def. Cond.

¬(¬(p ∨ ¬q)) ∧ ¬((r ∨ q)) LdDM
(p ∨ ¬q) ∧ (¬r ∧ ¬q) LdDM
(¬p ∧ q) ∧ (¬r ∧ ¬q) LdDM

c) (p → r) ↔ (q → r)

[(p → r) → (q → r)] ∧ [(q → r) → (p → r)] por def. bicond.

[¬(p → r) ∨ (q → r)] ∧ [¬(q → r) ∨ (p → r)] por def. cond.
[¬(¬p ∨ r) ∨ (¬q ∨ r)] ∧ [¬(¬q ∨ r) ∨ (¬p ∨ r)] por def. cond.
[(¬¬p ∧ ¬r) ∨ ¬(¬¬q ∧ ¬r)] ∧ [(¬¬q ∧ ¬r) ∨ ¬(¬¬p ∧ ¬r)] por LdDM
[(p ∧ ¬r) ∨ ¬(q ∧ ¬r)] ∧ [(q ∧ ¬r) ∨ ¬(p ∧ ¬r)] por doble neg
¬[¬(p ∧ ¬r) ∧ ¬¬(q ∧ ¬r)] ∧ ¬[¬(q ∧ ¬r) ∧ ¬¬(p ∧ ¬r)] por LdDM
¬[¬(p ∧ ¬r) ∧ (q ∧ ¬r)] ∧ ¬[¬(q ∧ ¬r) ∧ (p ∧ ¬r)] por doble neg.

d ) (p → (q → r)) ↔ (p ∧ q)

21. Expresa las siguientes especificaciones de sistema usando las proposiciones p, “el usuario
introduce una clave válida”; q, “Se permite el acceso”, y r, “El usuario ha pagado la cuota
de acceso”, junto con conectivos lógicos. “El usuario ha pagado la cuota de acceso, pero
no introduce una clave válida”. “Se permite el acceso siempre que el usuario haya pagado
la cuota de acceso e introduzca una clave válida”. “Se niega el acceso si el usuario no ha
pagado la cuota de acceso”. “Si el usuario no ha introducido una clave válida, pero ha
pagado la cuota de acceso, entonces se permite el acceso”.
¿Son consistentes las siguientes especificaciones de sistema?
Resolución

1) r ∧ ¬p
2) (p ∧ r) → q)
3) ¬r → ¬q
4) (¬p ∧ r) → q

12
 p q r ¬p ¬q ¬r r ∧ ¬p (p ∧ r) → q ¬r → ¬q (¬p ∧ r) → q
V V V F F F F V V V
V V F F F V F V F V
V F V F V F F F V V
V F F F V V F V V V
F V V V F F V V V V
F V F V F V F V F V
F F V V V F V V V F
F F F V V V F V V V
Analizando la tabla de verdad, podemos ver que para la 5ta combinación de valores
de verdad (p ≡ F ; q ≡ V ; r ≡ V) hacen que las proposiciones asociadas a las expresiones
1,2,3 y 4 sean V.

23. ¿Son consisentes las siguientes especificaciones de sistema?

“Cuando el software del sistema se actualiza, los usuarios no pueden acceder al sistema de
archivos”. “Si los usuarios pueden acceder al sistema de archivos, pueden grabar ficheros
nuevos”. “Si los usuarios no pueden grabar ficheros nuevos, el software del sistema no se
está actualizando”.
Resolución

p = El software se actualiza
q = Los usuarios pueden acceder al sistema de archivos
r = Los usuarios pueden grabar ficheros nuevos

p q r ¬p ¬q ¬r p → ¬q q→r ¬r → ¬p
V V V F F F F V V
V V F F F V F F V
V F V F V F V V V
V F F F V V V V V
F V V V F F V V F
F V F V F V V F V
F F V V V F V V F
F F F V V V V V V
Analizando la tabla de verdad, podemos ver que tenemos varias combinaciones de va-
lores de verdad (3ra, 4ta y 8va filas) que hacen que los tres enunciados sean verdaderos.
Por lo tanto podemos concluir que el conjunto de especificaciones es consistente

25. ¿Son consisentes las siguientes especificaciones de sistema?

“Si el sistema de archivos no está bloqueado, entonces se pondrán en cola los mensajes
nuevos”. “Si el sistema de archivos no está bloqueado, entonces el sistema funciona co-
rrectamente, y recı́procamente”. “Si los mensajes nuevos no se ponen cola, entonces se
enviarán al buffer de mensajes”. “Si el sistema de archivos no se bloquea, entonces se
enviarán mensajes nuevos al buffer de mensajes”. “No se enviarán mensajes nuevos al
buffer de mensajes”.
Resolución

p = El sistema de archivos no está bloqueado

13
q = Los mensajes nuevos se ponen en cola.
r = El sistema funciona
s = Los mensajes se envı́an al buffer de mensajes

La siguiente asignación de valores de verdad hace que las premisas sean consistentes:
p q r s
V V V V
F V F V

14