Wordigg

noun

a generalization of a de morgan algebra that defines a boolean algebra using only implication and a constant.

Scrabble the word zroupoid