En slaks semiooolesk algebra

Thread View: dk.edb.hardware.casemodding

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Henn1ng Makholm Mon, 24 Oct 2005 19:26

#175

Author: Henn1ng Makholm
Date: Mon, 24 Oct 2005 19:26

13 lines
1054 bytes

Jeg leder efter noget teori (og et navn) for en algebraisk struktur med
to kompositioner & og +, to udvalgte elementer 0 og 1, og aksiomerne

  a+b = b+a   (a+b)+c = a+(b+c)         a+0 = a         a+1 = 1   a+a = a
              (a&b)&c = a&(b&c)   0&a = a&0 = 0   1&a = a&1 = a   a&a = a
  a+(b&c) = (a+b)&(a+c)
  a&(b+c) = (a&b)+(a&c)
  (a+b)&c = (a&c)+(b&c)

Hvis & var kommutativ ville jeg have et distributivt gitter, men det
er den ikke..

Nogen forslag?

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads