uaveiro-leci/1ano/2semestre/lsd/pratica01/part2/db/AND2Gate.(4).cnf.cdb