Représentation des Circuits de Commutation par des Programmes à Décision Binaire

Un programme à décision binaire est un programme constitué d'une chaîne d'instructions de transfert conditionnel à deux adresses. Cet article montre la relation entre les circuits de commutation et les programmes à décision binaire et fournit un ensemble de règles simples permettant de transformer des programmes à décision binaire en circuits de commutation. Il démontre ensuite qu'en ce qui concerne le calcul des fonctions de commutation, la représentation par programmation à décision binaire est supérieure à la représentation booléenne habituelle.