Maths : : La logique est un module de Perl qui fournit 2, 3 ou logique purs de multi-valeur.

SYNTHÈSE

maths d'utilisation : : Qw de logique ($TRUE $FALSE $UNDEF $STR_TRUE $STR_FALSE $STR_UNDEF) ;
# 1 0 -1 VÉRITABLES UNDEF TROMPEURS

maths d'utilisation : : Logique : NUMÉRIQUE ; # $TRUE $FALSE $UNDEF -- ce que vous voulez normalement

maths d'utilisation : : Logique : TOUS ; # toutes les constantes

maths d'utilisation : : Logique : STREPTOCOQUE ; # $STR_TRUE $STR_FALSE $STR_UNDEF

de # logique 2 degrés
mon $true = maths : : Logic->new (- => $TRUE de valeur, - => de degré 2) ;
mon $false = maths : : Logic->new (- => $FALSE de valeur, - => de degré 2) ;
mon $x = maths : : Logic->new_from_string (RECTIFIER, 2) ;

estamper « vrai » si $true ;

de # logique 3 degrés (non-propagation)
mon $true = maths : : Logic->new (- => $TRUE de valeur, - => de degré 3) ;
mon $false = maths : : Logic->new (- => $FALSE de valeur, - => de degré 3) ;
mon $undef = maths : : Logic->new (- => $UNDEF de valeur, - => de degré 3) ;
mon $x = maths : : Logic->new_from_string (TROMPEUR, 3) ;

impression « vraie » si ($true | == $TRUE de $undef) ;

de # logique 3 degrés (propagation)
mon $true = maths : : Logic->new (- => $TRUE de valeur, - => 3 de degré, - => de propagation 1) ;
mon $false = maths : : Logic->new (- => $FALSE de valeur, - => 3 de degré, - => de propagation 1) ;
mon $undef = maths : : Logic->new (- => $UNDEF de valeur, - => 3 de degré, - => de propagation 1) ;
mon $x = maths : : Logic->new_from_string ((UNDEF, 3, - propagation)) ;

impression « undef » si ($true | == $UNDEF de $undef) ;

# logique de multi-degré
mon $True = 100 ; # définir notre propre vrai
mon $False = $FALSE ;
mon $true = maths : : Logic->new (- => $True de valeur, - => $True de degré) ;
mon $very = maths : : Logic->new (- => 67 de valeur, - => $True de degré) ;
mon $fairly = maths : : Logic->new (- => 33 de valeur, - => $True de degré) ;
mon $false = maths : : Logic->new (- => $False de valeur, - => $True de degré) ;
mon $x = maths : : Logic->new_from_string (« 25, $True ») ;

impression « peut-être » si ($very | $fairly) > 50 ;

# nous pouvons avoir arbitrairement des expressions complexes ; le résultat est des maths : : Logique
# objectif ; tous les arguments doivent être des maths : : Objectifs ou choses de logique qui peuvent être
# introduit dans tels et doit tout être compatible. Le résultat dépend en circuit
# que le genre de logique est employé.
mon $xor = ($x | $y) et (! ($x et $y)) ;
# c'est identique à :
mon ^ $y de $xor = de $x ;

Conducteurs logiques inhérents de Perls, et, ou, xor et ne pas supporter la logique de 2 valeurs. Ceci signifie qu'ils produisent toujours un résultat qui est vrai ou trompeur. En fait le Perl renvoie parfois 0 et renvoie parfois l'undef pour trompeur selon le conducteur et la commande des arguments. Pour le Perl « vrai » renvoie généralement la première valeur qui a évalué pour rectifier qui s'avère être extrêmement utile dans la pratique. Donnés au Perls bien choisi les conducteurs logiques inhérents sont être preferred -- mais quand vous voulez réellement la logique pure de 2 degrés ou logique de 3 degrés ou logique de multi-degré ils sont procurables par ce module.

Les seules valeurs de logique de 2 degrés sont 1 (VRAI) et 0 (TROMPEUR).

Les seules valeurs de logique de 3 degrés sont 1 (VRAI), 0 (TROMPEUR) et -1 (UNDEF). Noter qu'UNDEF est pas l'undef -1 !

Les seules valeurs de logique de multi-degré sont de 0. - degrés (TROMPEURS) -- la valeur de VRAI est égale au degré, habituellement 100.

- Le degré est les valeurs maximales (excepté la logique de 2 et 3 degrés) ; c.-à-d. la logique du n-degré est logique de n+1-value, par exemple la logique de 100 degrés a 101 valeurs, 0..100.

Bien que quelques constantes utiles puissent être exportées, c'est un module résultant et les résultats des comparaisons logiques sont des maths : : Objectifs de logique.