discrete mathematics - Definition of dual in boolean algebra ...