A simplification algorithm for logical expressions A5
Keiji Ishikawa, Hiroaki Terada, Tsutomu Sasao · Systems, computers, controls · 1983
Cet article propose un algorithme A5 de simplification pour l'expression logique representant une fonction binaire d'entree multivalente qui est specialement utilisee dans la conception des Tableaux logiques programmables avec decodeurs. Description des caracteristiques de cet algorithme