viernes, 19 de agosto de 2011

Problemas de Lógica Matemática

















a














a
































































1) En este caso posemos ver que cuando B es cierto el resultado es falso y que cuando B es falso el resultado es verdadero, independientemente del valor de A, luego la función solo depende de B, en sentido inverso.
 \neg B
TE Interu 3B.svg   \begin{array}{|c|c||c|}
      \hline
      A & B & c.11 \\
      \hline
      V & V & F \\
      V & F & V \\
      F & V & F \\
      F & F & V \\
      \hline
   \end{array}


2) Circuito
TE Interu 05.svg    \begin{array}{|c|c||c|}
      \hline
      A & B & c.1  \\
      \hline
      V & V & V \\
      V & F & V \\
      F & V & V \\
      F & F & V \\
      \hline
   \end{array}

Es una función lógica que para todas las posibles combinaciones de A y B, el resultado siempre es verdadero, es un caso de tautología, su implementación en un circuito es una conexión fija.

3)
TE Conex 05.svg TE Interu 1A.svg TE Conex 09.svg
TE Conex 14.svg TE Interu 1B.svg TE Conex 14.svg
   \begin{array}{|c|c||c|}
      \hline
      A & B & c.2  \\
      \hline
      V & V & V \\
      V & F & V \\
      F & V & V \\
      F & F & F \\
      \hline
   \end{array}

En este caso el resultado solo es falso si A y B son falsos, si una de las dos variables es cierta el resultado es cierto.
La función seria:
   A \lor B
4)
TE Conex 05.svg TE Interu 1A.svg TE Conex 09.svg
TE Conex 14.svg TE Interu 3B.svg TE Conex 14.svg
   \begin{array}{|c|c||c|}
      \hline
      A & B & c.3  \\
      \hline
      V & V & V \\
      V & F & V \\
      F & V & F \\
      F & F & V \\
      \hline
   \end{array} 
En este caso el resultado es cierto si A es cierto y cuando A y B son falsos el resultado también es cierto.
Su función seria:
   A \lor \neg B
5)
TE Interu 1A.svg    \begin{array}{|c|c||c|}
      \hline
      A & B & c.4  \\
      \hline
      V & V & V \\
      V & F & V \\
      F & V & F \\
      F & F & F \\
      \hline
   \end{array}

En este caso la función es cierta si A es cierta, los posibles valores de B no influyen en el resultado.
La función solo depende de A:
   A \;

6) 

TE Conex 05.svg TE Interu 3A.svg TE Conex 09.svg
TE Conex 14.svg TE Interu 1B.svg TE Conex 14.svg
   \begin{array}{|c|c||c|}
      \hline
      A & B & c.5  \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & V \\
      F & F & V \\
      \hline
   \end{array}

En este caso si A es falso el resultado es verdadero, y si A y B son verdaderos el resultado también es verdadero, puede verse que este caso es idéntico al tercero permutando A por B.
Y si función es:
   \neg A \lor B
7) 
TE Interu 1B.svg    \begin{array}{|c|c||c|}
      \hline
      A & B & c.6  \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & V \\
      F & F & F \\
      \hline
   \end{array}

En este caso la función es cierta si B es cierta, los valores de A no influyen en el resultado.
La función solo depende de B:
   B \;
8) 
TE Conex 05.svg TE Interu 2A.svg TE Interu 2B.svg TE Conex 09.svg
TE Conex 14.svg TE Interu 08.svg TE Interu 08.svg TE Conex 14.svg
   \begin{array}{|c|c||c|}
      \hline
      A & B & c.7  \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & F \\
      F & F & V \\
      \hline
   \end{array}
En este caso corresponde a la relación bicondicional entre A y B, el resultado solo es cierto si A y B son ciertos o si A y B son falsos.

   (A \land B) \lor (\neg A \land \neg B) =
   A \leftrightarrow B

9)

TE Interu 1A.svg TE Interu 1B.svg
   \begin{array}{|c|c||c|}
      \hline
      A & B & c.8  \\
      \hline
      V & V & V \\
      V & F & F \\
      F & V & F \\
      F & F & F \\
      \hline
   \end{array}

En este caso el resultado es cierto si A y B son ciertos, en el resto de los valores de A y B el resultado es falso, corresponde a la conjunción de A y B, equivalente a un circuito en serie.

   A \land B
10)
TE Conex 05.svg TE Interu 3A.svg TE Conex 09.svg
TE Conex 14.svg TE Interu 3B.svg TE Conex 14.svg
   \begin{array}{|c|c||c|}
      \hline
      A & B & c.9  \\
      \hline
      V & V & F \\
      V & F & V \\
      F & V & V \\
      F & F & V \\
      \hline
   \end{array}

En este caso el resultado solo es falso si A y B son ciertos, en el resto de los valores de A y B el resultado es verdadero, corresponde a la disyunción de la negación A y de B, equivalente a un circuito en paralelo de conexiones inversas.

   \neg A \lor \neg B



No hay comentarios:

Publicar un comentario