Abril 21, 2018, 03:24:06 pm

Autor Tema: Programa que construye tablas de verdad de proposiciones logicas.  (Leído 35239 veces)

0 Usuarios y 1 Visitante están viendo este tema.

Desconectado coredump

  • Yo vivo en CPH
  • ***
  • Mensajes: 408
  • Sexo: Masculino
    • Ver Perfil
Re: Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #15 en: Mayo 03, 2010, 07:45:56 pm »
No lo probé, pero se ve bueno el código.
Tal vez te interese, si es que no lo conoces, el paradigma lógico: You are not allowed to view links. Register or Login

Hacer un intérprete es realmente apasionante, y un motor de inferencia todavía más.
Luego de que apruebes la materia, y sólo por festejar, puedes implementar punteros a funciones; eso va a hacer que tu código ocupe un tercio de lo que ocupa ahora.
Y si todavía sigues con ganas, puedes usar LEX y YACC, las clásicas herramientas de parseo, para fabricar analizatores sintácticos.
Generation no: 298
Generation no: 299
Generation no: 300
The end of all the generations.
The best solution found is Program number: 42
+--DIV
|  +--[0]
|  +--[0]
The fitness value is: 68
Press any key to terminate....

Desconectado csaralg

  • Me das tu IP?
  • *
  • Mensajes: 58
  • Sexo: Masculino
  • http://alguienenlafisi.blogspot.com
    • Ver Perfil
    • Alguien en la FISI
Re: Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #16 en: Mayo 03, 2010, 08:05:43 pm »
Algunos términos nuevos para mi: Prolog, LEX, YACC

Ya los buscare, como dices, cuando apruebe :P y lleve Lenguajes y Traductores :)

Gracias por los datos...

Saludos.

Mi blog: You are not allowed to view links. Register or Login
<You are not allowed to view links. Register or Login>

Desconectado lpmartinez

  • CPQUE??
  • *
  • Mensajes: 1
  • Yo AMO a pOrtal HAcker!
    • Ver Perfil
Re:Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #17 en: Noviembre 03, 2011, 08:47:10 am »
Me parece muy interesante tu programa, sin embargo no logro entiender que hace tu funcion buscar_variables. Tienes depronto un pseucodigo planteado para tu programa de manera en que se facilite un poco la comprension? :D

Desconectado nano20sm

  • Me das tu password?
  • **
  • Mensajes: 283
  • Sexo: Masculino
  • Solo C que nada C
    • Ver Perfil
Re:Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #18 en: Noviembre 28, 2011, 08:01:30 am »
La verdad es que no habia visto este post, quedó bueno.

Haber si puedes calcularme este argumento logico y decirme si es contingencia, contradiccion o tautologia con tu programa.

Código: You are not allowed to view links. Register or Login
       p | V

Código: You are not allowed to view links. Register or Login
       p | F

donde p es una variable, V es una constante que indica verdadero y F es una constante que indica falso..

Te faltó agregar algo tan simple como las constantes. Los argumentos logicos en el calculo proposicional estan compuesto de variables y de constantes. ( para que decir la LPO  )

saludos!!

Desconectado Avoidance25

  • Moderador
  • *****
  • Mensajes: 1248
  • Sexo: Masculino
  • Da gehört eiskrem aber nicht hin xD
    • Ver Perfil
    • sytes
Re:Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #19 en: Noviembre 28, 2011, 02:38:35 pm »
No conocia este post, la verdad es que esta muy bueno. Justo hace unos dias hice un programa con la misma funcion.

Al pasarlo a php me di cuenta del chiste que es programar en php en comparacion con C :P
Lo subi al servidor de mi universidad, que tiene una buena capacidad de procesamiento, y me resuelve la funcion en un corto tiempo incluso si tiene las 26 variables permitidas :D

PD: Iba a poner el link, pero en la direccion esta mi nombre real, asi que .....

 :cura:
You are not allowed to view links. Register or Login
por ejemplo, se habla de emprender la You are not allowed to view links. Register or Login con el "fusil de carne" y se insta a una mujer a introducir You are not allowed to view links. Register or Login en su You are not allowed to view links. Register or Login

Desconectado huevohercer

  • CPQUE??
  • *
  • Mensajes: 1
    • Ver Perfil
Re:Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #20 en: Enero 24, 2015, 03:13:12 pm »
como se supone que se ingresan los datos amigo? :C

Desconectado .xAk.

  • el engendro
  • Moderador
  • *****
  • Mensajes: 7311
  • Sexo: Masculino
  • F0r3v3R NeWbI3
    • Ver Perfil
Re:Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #21 en: Enero 27, 2015, 01:34:45 am »
¿?

Este programa construye la tabla de verdad de una exprecion logica.
Los operadores logicos validos son:

"!"   NEGACION
"&"   CONJUNCION
"|"   DISYUNCION
":"   IMPLICACION
"="   BICONDICIONAL

Puede usar expreciones anidadas con parentesis.

EXPRECION> ( ( e | ! a ) & ( c = ! e ) & ( ! c : p ) & ( ! p ) ) : ! a

e a c p | ( ( e | ! a ) & ( c = ! e ) & ( ! c : p ) & ( ! p ) ) : ! a

V V V V |     V V F V   F   V F F V   F   F V V V   F   F V     V F V
V V V F |     V V F V   F   V F F V   F   F V V F   F   V F     V F V
V V F V |     V V F V   V   F V F V   V   V F V V   F   F V     V F V
V V F F |     V V F V   V   F V F V   F   V F F F   F   V F     V F V
V F V V |     V V V F   F   V F F V   F   F V V V   F   F V     V V F
V F V F |     V V V F   F   V F F V   F   F V V F   F   V F     V V F
V F F V |     V V V F   V   F V F V   V   V F V V   F   F V     V V F
V F F F |     V V V F   V   F V F V   F   V F F F   F   V F     V V F
F V V V |     F F F V   F   V V V F   F   F V V V   F   F V     V F V
F V V F |     F F F V   F   V V V F   F   F V V F   F   V F     V F V
F V F V |     F F F V   F   F F V F   F   V F V V   F   F V     V F V
F V F F |     F F F V   F   F F V F   F   V F F F   F   V F     V F V
F F V V |     F V V F   V   V V V F   V   F V V V   F   F V     V V F
F F V F |     F V V F   V   V V V F   V   F V V F   V   V F     V V F
F F F V |     F V V F   F   F F V F   F   V F V V   F   F V     V V F
F F F F |     F V V F   F   F F V F   F   V F F F   F   V F     V V F
Is the truth out there?

Desconectado berenice

  • CPQUE??
  • *
  • Mensajes: 1
    • Ver Perfil
Re:Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #22 en: Marzo 16, 2015, 03:10:06 pm »
ola tengo una duda no se que es lo que realiza realmente la sentencia :
bool evaluar_proposicion(char *prop, bool *vals, char *vars, char *resp, int ini, int fin);
para que sirve todo lo que esta dentro del paréntesis

Desconectado jamskary

  • CPQUE??
  • *
  • Mensajes: 1
    • Ver Perfil
Re:Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #23 en: Junio 01, 2015, 04:49:27 pm »
Hola men, muy buen programa y funciona al 100%, pero tengo una duda de si no tendrás uno donde se evalue las equivalencias logicas y se obtengan las mismas, ya sabes eso de Tautología, Contradicción y Contingencia.

Desconectado hackerinfinito

  • Me das tu IP?
  • *
  • Mensajes: 3
    • Ver Perfil
Re:Programa que construye tablas de verdad de proposiciones logicas.
« Respuesta #24 en: ſeptiembre 21, 2015, 05:32:24 pm »
oye bro, perfecto! este programa esta buenisimo.. lastima ya pase el curso de logica proposicional :( pero si esta buenisimo, te molestaria si lo comparto con mis amigos?


xx
Ayuda Crear tablas de verdad

Iniciado por kevinomd

1 Respuestas
1862 Vistas
Último mensaje Noviembre 03, 2012, 02:40:44 pm
por WaesWaes
question
¿Algun programa que me limpie las tablas NAT?

Iniciado por sacopapas

0 Respuestas
901 Vistas
Último mensaje Agosto 11, 2010, 02:45:42 am
por sacopapas
xx
Construye tu propia extension de Firefox

Iniciado por Vassily

0 Respuestas
2217 Vistas
Último mensaje ſeptiembre 20, 2005, 10:24:52 pm
por Vassily
xx
Construye el cable de datos para el SE T226

Iniciado por putus

3 Respuestas
2241 Vistas
Último mensaje Abril 26, 2006, 06:01:44 pm
por beto95
xx
bombas logicas

Iniciado por clipto boxw

17 Respuestas
9357 Vistas
Último mensaje Enero 30, 2007, 07:14:39 pm
por clipto boxw
xx
Bombas logicas

Iniciado por chhack

5 Respuestas
2044 Vistas
Último mensaje Abril 11, 2007, 02:29:12 pm
por chhack
xx
Bombas Logicas en VB6

Iniciado por ziBboh

4 Respuestas
3926 Vistas
Último mensaje Enero 28, 2007, 09:14:00 pm
por Zion_Tm
question
Compuertas lógicas...

Iniciado por txged

5 Respuestas
2538 Vistas
Último mensaje ſeptiembre 20, 2010, 02:20:38 pm
por Jackerst
xx
Tablas

Iniciado por Vassily

0 Respuestas
2374 Vistas
Último mensaje Abril 22, 2005, 01:07:45 pm
por Vassily
xx
tablas php

Iniciado por koopa2

2 Respuestas
1385 Vistas
Último mensaje Enero 18, 2012, 10:33:57 pm
por koopa2