most recent 30 from http://mathoverflow.net 2013-06-20T07:17:41Z http://mathoverflow.net/feeds/question/86391 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86391/what-is-this-small-3-element-quasigroup-what-is-it-used-for vzn 2012-01-22T18:02:59Z 2013-01-27T19:46:44Z

<p>this following multiplication table arises in a deep area of theoretical computer science proofs eg complexity theory &amp; am looking at it more in isolation or outside of TCS. looked for this multiplication table on wikipedia as some mathematically recognized or used object but couldnt find it. does it show up elsewhere? </p> <pre><code> a b c a a c a b c b b c a b c </code></pre> <p>(prior comments point out it is <em>not</em> a group or semigroup but seem to confirm its at least a quasigroup). are there applications of it? what can it be used for? am esp interested in some way of implementing a boolean logic with it. (however if there was some way to link it to group theory that would be very interesting too). "c" may or may not be the empty element. thx</p> <p>note— may edit this question later to describe at least one very specific case where it appears in theoretical computer science, but for now am leaving it open so as not to bias possible answers. question [1] on cs.se points to one possible application ie trinary valued circuit logic.</p> <p>[1] <a href="http://cs.stackexchange.com/questions/9211/building-functionally-complete-boolean-circuits-out-of-trinary-logic" rel="nofollow">building functionally complete boolean circuits out of trinary logic</a></p>