En utilisant des valeurs analogiques avec une forme normale algébrique?

Question

La forme normale algébrique (ANF) est un moyen de décrire les circuits numériques constitués de portes et XOR.

Ci-dessous est un exemple d'expression ANF qui évalue à vrai si deux ou plus de ses trois entrées sont vraies ($ oplus $ étant xor, la multiplication implicite et) et)

$ x_0x_1 oplus x_0x_2 oplus x_1x_2 $

Lorsqu'un circuit numérique est exprimé de cette façon, vous pouvez l'évaluer comme un polynôme, en prenant 1 ou 0 comme entrées pour les variables, en faisant une multiplication pour une porte, ajout pour une porte XOR et en faisant un module de 2 sur la finale résultat.

$ y = x_0x_1 + x_0x_2 + x_1x_2 $

Vous pouvez vérifier une table de vérité en branchant des 0 et 1 pour les différents paramètres $ x $ et en voyant qu'il sort des valeurs correctes.

Ce que je suis curieux, c'est de savoir si nous n'utilisons pas de chiffres entiers? Je suis sûr que c'est une chose bien étudiée, mais je n'ai pas pu trouver d'informations à ce sujet.

Cela semble un peu comme une logique floue, mais la logique floue est une chose bien définie avec différentes opérations.

Voici quelques valeurs branchées et leur sortie.

begin {array} {| c | c | c | c |} hline x_0 & x_1 & x_2 & output & output % 2 hline 0 & 0 & 0 & 0 & 0 1 & 1 & 0 & 1 & 1 1 & 1 & 1 & 3 & 1 0,5 & 0,5 & 0 & 0,25 & 0,25 0,9 & 0,9 & 0,9 & 2,43 & 0,43 1.0 & 1.0 & 0,5 & 2.0 & 0,0 hline end {array}

L'entrée de valeur analogique donne une sortie qui semble particulièrement erronée dans les deux dernières lignes.

Il semble peut-être que cela ne fonctionne peut-être pas, mais on a aussi l'impression que cela fonctionne peut-être, ou fait quelque chose d'intéressant, peut-être avec des modifications?

Quelqu'un a-t-il rencontré des valeurs non numériques utilisées dans ANF ou similaires?

Merci!