La version tablas de verdad en ABEL es esta:
MODULE sumador;
TITLE 'Bloque basico de un sumador completo'
DECLARATIONS;
sumador DEVICE 'P22V10';
A,B,Ci PIN 2,3,4;
Co,S PIN 22,23 ISTYPE 'COM';
EQUATIONS;
truth_table ([Ci,B,A]->[Co,S])
[0,0,0]->[0,0];
[0,0,1]->[0,1];
[0,1,0]->[0,1];
[0,1,1]->[1,0];
[1,0,0]->[0,1];
[1,0,1]->[1,0];
[1,1,0]->[1,0];
[1,1,1]->[1,1];
END sumador;