Skip to content

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

Open
Open
Implement exclusive conjunction monoid (and semigroup) as a counterpart for exclusive disjunction#364
Labels
good-first-issue

Description

@MarekDudek
MarekDudek
opened on Oct 2, 2018
No description provided.

Activity

  1. jbgi commented on Oct 2, 2018

    @jbgi
    jbgi
    on Oct 2, 2018
    Member

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

  2. MarekDudek commented on Oct 2, 2018

    @MarekDudek
    MarekDudek
    on Oct 2, 2018
    Author

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

  3. jbgi commented on Oct 2, 2018

    @jbgi
    jbgi
    on Oct 2, 2018
    Member

    👍

  4. jbgi
    added
    good-first-issue
    on Oct 2, 2018

  5. tonymorris commented on Oct 3, 2018

    @tonymorris
    tonymorris
    on Oct 3, 2018
    Contributor

    XNOR is the same as equal.

  6. MarekDudek commented on Oct 4, 2018

    @MarekDudek
    MarekDudek
    on Oct 4, 2018
    Author

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

  7. tonymorris commented on Oct 4, 2018

    @tonymorris
    tonymorris
    on Oct 4, 2018
    Contributor

    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

Metadata

Metadata

Assignees

No one assigned

    Labels

    good-first-issue

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions