New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Implement exclusive conjunction monoid (and semigroup) as a counterpart for exclusive disjunction #364

Open

MarekDudek opened this issue Oct 2, 2018 · 6 comments

Labels

good-first-issue

MarekDudek commented Oct 2, 2018

No description provided.

Member

jbgi commented Oct 2, 2018

not sure what is the truth table of the exclusive conjunction? do you mean like NAND?

Author

MarekDudek commented Oct 2, 2018

XNOR
https://en.wikipedia.org/wiki/Logical_biconditional

Member

jbgi commented Oct 2, 2018

👍

jbgi added the good-first-issue label

Contributor

tonymorris commented Oct 3, 2018

XNOR is the same as equal.

Author

MarekDudek commented Oct 4, 2018

All right, it is. Could it still be usable for combining monoids?

Contributor

tonymorris commented Oct 4, 2018

Yeah sure. That was just a FYI.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment