La formule de logique propositionnelle
n'est pas en forme normale conjonctive.
Pour la transcrire telle quelle dans une matrice logique, il faut tout d’abord la décomposer en sous-formules et associer des variables auxiliaires à ces sous-formules:
- La variable auxiliaire T représente la formule dans son ensemble.
La méthode de transcription ressemble à celle qui a déjà été utilisée pour les portes logiques: deux variables d'entrée, une variable de sortie. Exemple, clé de transcription de la disjonction:
- Une variante de cette clé, simplifiée par fusion, figurait dans la matrice du circuit logique traité précédemment (porte OR).
Matrice logique de la formule:
Projection 1 de la table:
- Les 1 de la projection définissent la table de vérité de la formule.
- La table de vérité ne contient que des V: la formule est une tautologie.
- P => Q équivaut à ¬P v Q.
- Remarque: la projection 1 est une matrice logique, et le pavé 'Valeurs prises par les variables', son interface. La table de vérité de la formule se lit dans l'interface, selon les indications de la projection. En apparence unis par leur caractère binaire, les éléments {F, V} de la table de vérité et les éléments {fermé, ouvert} de la projection ne sont pas de même nature.
- La table de vérité de la formule est étrangère à la TML, comme l'est, par définition, l'interface. Le fait d'exprimer la table de vérité sous forme booléenne 1111 n'y changerait rien.
La logique trivalente de Łukasiewicz, ou Ł3, est syntaxiquement identique à la logique propositionnelle (la formule évoquée plus haut ne change pas) mais s'en écarte sur le plan sémantique en faisant intervenir une nouvelle valeur, située entre le faux et le vrai:
- {F, I, V}, avec I pour 'indéterminé' ou, plus précisément, 'inconnaissable'.
Clé de transcription de la disjonction:
Matrice logique de la formule:
La projection 1 de la table comporte 243 éléments. Ses 1 définissent la table de vérité trivalente de la formule:
- La table de vérité ne contient pas uniquement des V.
- Dans la logique Ł3, P => Q n'équivaut pas à ¬P v Q.
La logique trivalente de Kleene, K3, produirait la table de vérité VVVIIVVIV.