-U - zbiór kont
A - zbiór kont aktywnych
Takie, że:
A ∩ U = A Λ A \ U = Ø
Przykładem, bo najłatwiej:
U={k1,k2,k3}
A={k3}
A ∩ U = {k3} = A
Twoje zdanie nie jest tautologią. Jest prawdziwe np.: gdy A = Ø
Czyli użytkownik x,y,z przy czym x=/=y=/=z ma konto Konto należące do kont aktywnych i x,y,z nie ma innego konta aktywnego lub nieaktywnego to posiada jedno konto (tak zwane potocznie multikonto)
Użytkownik Paweł C., Bartłomiej K., Anna A., Paweł nie jest Bartkiem, Paweł nie jest Anną, Bartek nie jest Pawłem, Bartek nie jest Anną, Anna nie jest Bartkiem, Anna nie jest Pawłem. Paweł, Bartek, Anna na Konto Fan_SW, Paweł, Bartek, Anna nie ma innego konta które jest antywne lub nieaktywne. Jedno konto trzech użytkowników tego konta, gra z regulaminem, ok mamy do czynienia z mutli użytkowaniem, nie multikontem, niemniej jest to intuicyjnie patologiczne czy nie ? Czyli Paweł "Fan_SW" C., Bartek "Fan_SW" K., Anna "Fan_SW" A. mogą brać udział w konkursie ?
Zawsze brane pod uwagę jest konto aktywne, i to z niego dokonywane jest zgłoszenie do konkursu
O to jakaś nowość, gdzie to pisze ? (poza Toim postem oczywiście )
Musimy mój drogi na początku maja przysiąść i uporzątkować regulamin Bastionu jak i regulamin konkursu. Musimy zdefiniować pojęcia konta, uzytkownika. Musimy zabezpieczyć krzyżowo tak aby jeden użytkownik posiadał jedno konto i jedno konto było prowadzone przez jednego użytkownika. Przy czym prawo nie powinno działać wstecz. Musimy określić czy użytkownik może posiadać konta nieaktywne i kiedy je może posiadać. Roboty sporo, ale damy radę.
Ja wiem że dla Ciebie część z tych kwestii wydaje się "dziwna" ale tak to logicznie funkcjonuje (intuicyjnie nie funkcjonuje)