Simplifiez forme normale conjonctive

Simplifiez forme normale conjonctive


Le calcul propositionnel est une discipline de la philosophie.

La logique propositionnelle comme base pour la forme normale conjonctive

La forme normale conjonctive (CNF) est une forme d'arguments dans la logique propositionnelle. Ceci est une partie de la philosophie moderne, et traite principalement de déclarations et arguments et leur validité formelle. Contrairement à la logique traditionnelle il est dans la logique propositionnelle pas classes. Ahead vous trouverez dans cette partie du manuel quelques conseils et explications sur la logique propositionnelle.

  • Utilisez la logique propositionnelle vous pouvez arguments abstraits et les déclarations dans les formules. Ceci est fait en utilisant les opérateurs logiques qui prennent les signes logiques de la place des ingrédients spécifiques des ensembles respectifs.
  • Les connecteurs utilisés dans la logique propositionnelle, la conjonction, la disjonction et la négation. En outre, sont encore l'implication et l'équivalence. Cependant, ce ne sont que les plus communs et en aucun cas tous les connecteurs de la logique propositionnelle.
  • La disjonction est l'expression linguistique "ou". Il est généralement représenté avec la marque v. Elle fait également partie de la forme normale conjonctive.
  • L'équivalence est l'expression linguistique "si et seulement si". Ceci est dans SL avec les personnages - montré <>. L'implication, cependant, fait référence à l'expression "si alors» et est le symbole - affiché>.


  • 03h36

    Manipule forme canonique - donc il va travailler avec une parabole

    Pour dessiner une parabole de la forme canonique est bien sûr idéale, puisque vous lui avez fait ...

  • La négation, la négation est donc, dans la logique propositionnelle généralement représenté avec une ligne qui a un petit crochet. Alternativement, surtout si vous écrivez avec l'ordinateur, mais aussi utilisé un ~.
  • La conjonction est une autre composante de la forme normale conjonctive et représente l'expression linguistique "et". Il est représenté avec un V inversé, donc un personnage qui ressemble à ceci ^.

D'autres ingrédients qui sont utilisés dans la logique propositionnelle, les variables p, q, x et y, ou les constantes F, G, H. Ceux-ci sont variables et constantes assument la fonction de mots ou de phrases entières.

Donc vous pouvez faire et de simplifier la forme normale conjonctive

La forme normale conjonctive, vous pouvez créer dans SL à l'aide d'une table de vérité. Dans la formation, vous devez faire attention à certains aspects, tels que la forme dans cette formule de type est très important. Par définition, il existe une formule apparaît dans cette forme normale si elle est une association avec »et« opération (conjonction) des termes de disjonction, à savoir les termes qui sont présents dans "ou" opération. Un exemple de ceci est la formule: (~ PVC) & (~ QVC).

  1. Personnalisez comme le premier de votre formule pour une table de vérité. Vous pouvez le faire en allant en jouant différentes missions vérité valeur pour chaque variable et les utiliser dans la formule. Notez les résultats dans le tableau. Alternativement, vous pouvez également un formulaire en ligne pour la création de tables de vérité utiliser. A titre d'exemple de la formule suivante: ((PVQ) -> c).
  2. Lire dans la table de vérité, quand les vraies valeurs (1) ou faux (0). Pour chaque valeur incorrecte une clause est créé. Cela signifie que vous enregistrez chaque ligne qui est mis à 0, dans la formule pour la KNF.
  3. Les conventions de la logique propositionnelle, il est possible de simplifier ce formulaire. Vous pouvez le faire, par exemple, en dissolvant les supports en conséquence. Dans l'exemple, cela conduirait au résultat et ~ p ~ QVC.

L'utilisation de ces étapes, vous pouvez apporter des formules avec un peu d'effort dans la KNF puis simplifier ce enfin.

MOTS-CLÉS: