Aprenderly
Explore
Ciencia
Ciencias sociales
Historia
Ingeniería
Matemáticas
Negocio
Numeración de las artes
Top subcategories
Advanced Math
Estadísticas y Probabilidades
Geometría
Trigonometry
Álgebra
other →
Top subcategories
Astronomía
Biología
Ciencias ambientales
Ciencias de la Tierra
Física
Medicina
Química
other →
Top subcategories
Antropología
Psicología
Sociología
other →
Top subcategories
Economía
other →
Top subcategories
Ciencias de la computación
Diseño web
Ingeniería eléctrica
other →
Top subcategories
Arquitectura
Artes escénicas
Ciencias de la religión
Comunicación
Escritura
Filosofía
Música
other →
Top subcategories
Edad Antigua
Historia de Europa
Historia de los Estados Unidos de América
Historia universal
other →
Sign in
Sign up
Upload
Índice General 1 Resolución en lógica de proposiciones
Capítulo 2. El Método de Resolución (archivo pdf, 139 kb)
Actividad 15 Botella llena
C - fiwiki
Lógica y Computabilidad
El Nuevo - Fulton County Schools
Lógica para Computación. Clase Auxiliar 5 Problema Modelo
1
Problema de satisfacibilidad booleana
En teoría de la complejidad computacional, el Problema de satisfacibilidad booleana (también llamado SAT) fue el primer problema identificado como perteneciente a la clase de complejidad NP-completo.