Publicidad

Publicidad

becas.universia.netBiblioteca.Net

Buscar recursos:

Buscador Google

Conjunctive Normal Form -- from MathWorld

Descargar SCORM

Este recurso ha sido solicitado 1 veces (0 veces en los últimos 31 días).

Para poder solicitar este recurso debe identificarse como usuario de la biblioteca

 
Ver

Detalles del recurso

Marcadores Sociales
Conjunctive Normal Form -- from MathWorld
Id. 80877
Idioma inglés
Titulo Conjunctive Normal Form -- from MathWorld
Autor(es) Weisstein, Eric W.
Localización http://mathworld.wolfram.com/ConjunctiveNormalForm.html
Versión 1.0
Estado Final
Descripción A statement is in conjunctive normal form if it is a conjunction (sequence of ANDs) consisting of one or more conjuncts, each of which is a disjunction (OR) of one or more literals (i.e., statement letters and negations of statement letters; Mendelson 1997, p. 30). Examples of conjunctive normal forms include A (1) (A\lor B)\land({!A}\lor C) (2) (A\lor B\lor {!A})\land(C\lor {!B})\land(A\lor {!C}) (3) A\lor B (4) A\land(B\lor C), (5) where \lor denotes OR, \land denotes AND, and !...
Palabras clave Mathematics:Foundations of Mathematics:Logic:General Logic
Tipo de recurso Text
Tipo de Interactividad Expositivo
Nivel de Interactividad muy bajo
Audiencia Estudiante
Profesor
Autor
Estructura Atomic
Coste no
Copyright
Copyright 1999-2004 Wolfram Research, Inc. See http://mathworld.wolfram.com/terms.html for a full terms of use statement.
Requerimientos técnicos Browser: Any
Fecha de contribución 29-oct-2004
Contacto

Valoración de los usuarios

No hay ninguna valoración para este recurso. Sea el primero en valorar este recurso.