Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- En lógica booleana, una fórmula está en forma normal conjuntiva (FNC) si corresponde a una conjunción de cláusulas, donde una cláusula es una disyunción…19 kB (2084 palabras) - 14:39 26 oct 2023
- En lógica booleana, una forma normal disyuntiva (FND) es una estandarización (o normalización) de una fórmula lógica que es una disyunción de cláusulas…3 kB (512 palabras) - 09:33 24 dic 2023
- En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo…3 kB (438 palabras) - 11:50 10 jun 2021
- Una fórmula de la lógica de primer orden se considera expresada en forma normal de Skolem si su forma normal prenexa solamente contiene cuantificadores…5 kB (732 palabras) - 18:05 29 sep 2023
- En Álgebra booleana, la forma normal algebraica (FNA) es una manera de expresar fórmulas lógicas en una de les siguientes tres subformas: La fórmula entera…7 kB (1047 palabras) - 08:41 8 ago 2019
- En lógica de primer orden, una fórmula bien formada tiene forma normal prenexa si está escrita encabezada por una cadena de cuantificadores existenciales…7 kB (1108 palabras) - 07:35 20 oct 2020
- En lógica proposicional, una fórmula lógica está en forma normal negativa si, de poseer negaciones, estas únicamente afectan las fórmulas atómicas, y si…2 kB (384 palabras) - 21:26 18 sep 2023