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