Forum ŚFiNiA Strona Główna ŚFiNiA
ŚFiNiA - Światopoglądowe, Filozoficzne, Naukowe i Artystyczne forum - bez cenzury, regulamin promuje racjonalną i rzeczową dyskusję i ułatwia ucinanie demagogii. Forum założone przez Wuja Zbója.
 
 FAQFAQ   SzukajSzukaj   UżytkownicyUżytkownicy   GrupyGrupy   GalerieGalerie   RejestracjaRejestracja 
 ProfilProfil   Zaloguj się, by sprawdzić wiadomościZaloguj się, by sprawdzić wiadomości   ZalogujZaloguj 

Algebra Kubusia '2018 cdn
Idź do strony Poprzedni  1, 2, 3 ... 28, 29, 30 ... 64, 65, 66  Następny
 
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pią 20:45, 14 Wrz 2018    Temat postu:

O wyższości definicji z algebry Kubusia nad definicjami logiki "matematycznej" ziemian!
Dowód wewnętrznej sprzeczności logiki „matematycznej” ziemian!

idiota napisał:
No może, ale ty nie operujesz żadną definicją i nie wiesz co to jest warunek, ani zdanie warunkowe.

W poście wyżej masz dowód że to ty nie masz pojęcia co to jest zdanie warunkowe "Jesli p to q".
To ty masz gówno-definicję zdania warunkowego generujacą takie kwiatki:
A.
Jeśli Mickiewicz był Polakiem i pies ma cztery łapy to z tego faktu wynika => że Płock leży nad Wisłą i kwadrat ma cztery boki

To twoje wytłuszczone to gówno-prawda.
Operuję trzema i tylko trzema definicjami.

Naszymi wspólnymi definicjami!

Prawo Rekina:
Wszelkie prawa rachunku zero-jedynkowego to prawa naszej wspólnej teorii zbiorów:

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-675.html#405775
rafal3006 napisał:
Algebra Kubusia = nasza wspólna teoria zbiorów!

Na gruncie teorii zbiorów algebra Kubusia ani na jotę nie wychodzi poza podstawowe definicje:
1.
Podzbioru =>

p=>q =1 - wtedy i tylko wtedy gdy p jest podzbiorem => q
Inaczej:
p=>q =0
2.
Nadzbioru ~>

p~>q =1 - wtedy i tylko wtedy gdy p jest nadzbiorem ~> q
Inaczej:
p~>q =0
3.
Definicja elementu wspólnego zbiorów ~~>:

p~~>q = p*q =1 - wtedy i tylko wtedy gdy zbiory p i q mają element wspólny
Inaczej:
p~~>q = p*q =[] =0 - zbiory p i q są rozłączne

Każdy ziemski matematyk który twierdzi, że nie mamy identycznych definicji na gruncie naszej wspólnej teorii zbiorów jak wyżej jest w potwornym błędzie bo ten fakt łato udowodnić.

Bardzo proszę dowody!
[link widoczny dla zalogowanych]ór
sjp napisał:

Podzbiór
część danego zbioru

[link widoczny dla zalogowanych]ór
sjp napisał:

Nadzbiór
w matematyce, dla danego zbioru: każdy zbiór zawierający wszystkie jego elementy

[link widoczny dla zalogowanych]
mathedu napisał:

Zbiory rozłączne
Zbiory, których iloczyn jest zbiorem pustym, nazywamy rozłącznymi.
A*B = []

Wyłącznie matematyczny matoł może z tego nie wywnioskować definicji elementu wspólnego zbiorów ~~>
cnd


Wróćmy do ciekawego zdanie podanego przez Fiklita.
A.
Jeśli Kopernik miał dzieci to na 100% => był ojcem
D=>O =1
Posiadanie przez Kopernika dzieci jest warunkiem wystarczającym => do tego by był on ojcem
Posiadanie przez Kopernika dzieci daje nam gwarancję matematyczną => iż był on ojcem
Zbiory jakie możemy tu wyróżnić to:
D = [S+C] =1 - syn (S=1) lub córka (C=1)
O=[S+C] =1 - Kopernik jest ojcem gdy ma syna (S=1) lub córkę (C=1)
~O=[~S*~C]=1 - Kopernik nie ma syna (~S=1) i nie ma córki (~C=1)
Stąd mamy dziedzinę dla naszego zdania:
DZ = O+~O = [S+C+~S*~C] =1
~D=[DZ-D] = [S+C+~S*~C]-[S+C] = [~S*~C] =1
Dowód spełnienia definicji podzbioru przez nasze zdanie A:
D=>O
[S+C] => [S+C] =1
bo każdy zbiór jest podzbiorem siebie samego.
KONIEC!
Udowadniając tożsamość zbiorów D i O wiemy wszystko.
Tożsamość zbiorów D=O to jednoczesne spełnienie:
D=>O =1 - warunku wystarczającego, każdy zbiór jest podzbiorem => siebie samego
oraz
D~>O =1 - warunku koniecznego ~>, każdy zbiór jest nadzbiorem ~> siebie samego
Każda tożsamość zbiorów to równoważność:
Równoważność to jednoczesne spełnienie warunku wystarczającego => i koniecznego ~> między tymi samymi punktami.
D=O => D<=>O = (D=>O)*(D~>O) =1*1 =1
… ale jedźmy po Bożemu:
Kontrprzykład B dla warunku wystarczającego => A musi być fałszem, nie musimy tego udowadniać bowiem wykazując zachodzącą równoważność, matematycznie wiemy tu wszystko i niczego nowego się nie dowiemy - ale możemy udowodnić.
B.
Jeśli Kopernik miał dzieci to mógł ~~> nie być ojcem
D~~>~O = D*~O = [S+C]*[~S*~C] = [] =0 - zbiór pusty, sytuacja niemożliwa

Prawo Kubusia wiążące warunek wystarczający => A z warunkiem koniecznym ~> C
A: D=>O = C: ~D~>~O
stąd:
C.
Jeśli Kopernik nie miał dzieci to na 100% nie był ojcem
~D~>~O =1
[~S*~C] ~> [~S*~C]
Definicja warunku koniecznego ~> spełniona bo zbiór jest nadzbiorem ~> siebie samego
Spełniona jest tu także definicja warunku wystarczającego => bo każdy zbiór jest podzbiorem => siebie samego.
Musi być zatem fałszem kontrprzykład D dla warunku wystarczającego => C:
D.
Jeśli Kopernik nie miał dzieci to mógł ~~> być ojcem
~D~~>O = ~D*O = [~S*~C]*[S+C] = [] =0 - zbiór pusty, sytuacja niemożliwa

Dla zdania A możemy skorzystać z prawa kontrapozycji:
A: p=>q = A1: ~q=>~p
stąd:
A1.
Jeśli Kopernik nie był ojcem to na 100% => nie miał dzieci
~O=>~D=1
Na mocy prawa kontrapozycji nie musimy udowadniać prawdziwości tego zdania, mamy ją jak w banku.
Do zdania A1 możemy zastosować prawo Kubusia wiążące warunek wystarczający => z warunkiem konicznym ~> bez zamiany p i q
p=>q = ~p~>~q
Nasz przykład:
A1: ~O=>~D = C1: O~>D
stąd:
C1.
Jeśli Kopernik był ojcem to na 100% => miał dzieci
O~>D =1
Spełnienie warunku koniecznego ~> mamy tu jak w banku na mocy prawa Kubusia.
Wiemy ze to jest równoważność, musi być zatem spełniony także warunek wystarczający => między tymi samymi punktami.
C1’
Jeśli Kopernik był ojcem to na 100% miał dzieci
O=>D =1
Zauważmy, że dwa zdana C1 i C1’ słownie brzmią identycznie z dokładnością do każdej literki i każdego przecinka, ale są to zdania różne na mocy definicji ##.
C1: O~>D ## C1’: O=>D
Te zdania nie maja prawa być tożsame bo definicja równoważności:
Równoważność to jednoczesne zachodzenie warunku koniecznego ~> i wystarczającego => miedzy tymi samymi punktami i w tym samym kierunku:
O<=>D = C1: (O~>D) * C1’: (O=>D) =1*1 =1
Gdyby zachodziła tożsamość:
C1: (O~>D) = C1’: (O=>D)
to mamy sprzeczność czysto matematyczną, obalenie definicji równoważności:
(O<=>D) = (O=>D)
To jest czysto matematyczna sprzeczność bo:
Definicja równoważności w spójnikach „i”(*) i „lub”(+):
p<=>q = p*q + ~p*~q
Definicja warunku wystarczającego => w spójnikach „i”(*) i „lub”(+):
p=>q = p*q + ~p*q +~p*~q
Matematycznie zachodzi:
p<=>q ## p=>q
Gdzie:
## - rożne na mocy definicji

UWAGA!
Dowód wewnętrznej sprzeczności logiki „matematycznej” ziemian:
Mamy tu totalne rozwalenie logiki „matematycznej” ziemian która twierdzi że dwa zdania brzmiące identycznie z dokładnością do każdej literki i każdego przecinka są matematycznie tożsame
Kontrprzykład wyżej jest dowodem wewnętrznej sprzeczności logiki matematycznej ziemian.

Błędem jest jak twierdzą co niektórzy matematycy iż zdanie C1 jest zawsze prawdziwe.
NIE!
Zawsze prawdziwa jest równoważność:
RC1: O<=>D = C1: (O~>D)* C1’: (O=>D) =1*1 =1
Definicje znaczków ~> i =>:
p=>q = ~p+q
p~>q = p+~q
stąd mamy w zapisach ogólnych:
p<=>q = (p~>q)*(p=>q) = (p+~q)*(~p+q) = ~p*p + p*q + ~q*~p +~q*q = p*q + ~p*~q
Nasz przykład:
RC1: O<=>D = O*D + ~O*~D
Oznaczmy:
x - nie wiemy czy Kopernik był ojcem
Nasze równanie ze zmienną x przyjmuje postać:
RC1: O<=>D = x*(C1: O*D + A1: ~O*~D)
Zakładamy:
x=O*D =1 - Kopernik był ojcem i miał dzieci
stąd:
RC1: O<=>D = (O*D)*( C1: O*D + A1: ~O*~D) = C1: O*D =1
Wniosek:
Jeśli prawdziwe będzie zdanie C1 to fałszywe będzie zdanie A1
Zakładamy:
x = ~O*~D =1 - Kopernik nie był ojcem i niemiał dzieci
Stąd:
RC1: O<=>D = (~O*~D)*(C1: O*D + A1: ~O*~D) = A1: ~O*~D =1
Wniosek:
Jeśli prawdziwe będzie zdanie A1 to fałszywe będzie zdanie C1

Podsumowanie:
W równoważności zawsze prawdziwa jest wyłącznie równoważność!
Natomiast zdania:
C1: O*D
oraz
A1: ~O*~D
NIE SĄ zdaniami zawsze prawdziwymi!
cnd

idiota napisał:
No może, ale ty nie operujesz żadną definicją i nie wiesz co to jest warunek, ani zdanie warunkowe.

No i kto ma lepsze definicje Idioto?
Algebra Kubusia czy gówno-logika ziemian?

P.S.
Uzupełnienie tego postu:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-675.html#405949
fiklit napisał:
Czyli jednak "jeśli kopernik miał syna to był ojcem" jest prawdą.
Bo prawdą jest, że "kopernik nie miał syna lub był ojcem".

A.
Jeśli Kopernik miał syna to był ojcem
KS=>KO = ~KS+KO
Co w logice miękkich jedynek oznacza:
Y = (KS=>KO)=1 <=> ~KS=1 + KO=1
Wystarczy że którykolwiek człon po prawej stronie zostanie ustawiony na 1 i już ustawi Y=1.
Stąd mamy równanie tożsame:
Y= ~KS*KO + ~KS*~KO + KS*KO
co w logice miękkich jedynek oznacza:
Y=1 <=> ~KS=1 i KO=1 (córka) lub ~KS=1 i ~KO=1 (brak dzieci) lub KS=1 i KO=1 (syn)

~Y to pozostała możliwość:
~Y = KS*~KO
co w logice jedynek oznacza:
~Y=1 <=> KS=1 i ~KO=1
Zdanie będzie fałszywe (~Y=1) wtedy i tylko wtedy gdy:
Kopernik miał syna (KS=1) i nie był jego ojcem (~KO=1)
Pozostałe przypadki mogą zajść, ale nie muszą, stąd mamy tu do czynienia z miękkimi jedynkami w równaniu Y pociągającymi za sobą miękkie zera.


Ostatnio zmieniony przez rafal3006 dnia Sob 4:54, 15 Wrz 2018, w całości zmieniany 8 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Sob 0:02, 15 Wrz 2018    Temat postu:

No właśnie potwierdzasz to co napisałem i nie masz pojęcia czemu.
To straszne w sumie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Sob 6:24, 15 Wrz 2018    Temat postu:

Operatory logiczne typu AND(|*)

Irbisol napisał:

rafal3006 napisał:
Irbisol napisał:

Ale ja cię nie pytam o poprawną interpretację spójnika "i".

Od miesięcy nie potrafisz wykrztusić z siebie odpowiedzi na
najprostsze na świecie pytanie dotyczące twojej logiki.

Zauważ Irbisolu że wszystkie cztery prawa wyżej to prawa rachunku
zero-jedynkowego

Ale ja mam głęboko w dupie to, jakie są cztery prawa powyżej.
Dostałeś pytanie o wynik działania i razem ze swoją algebrą i
historycznymi postami nie jesteś w stanie na to pytanie odpowiedzieć.

Jak zwykle nie wiesz w którym kościele dzwony biją!

Wszelkie definicje i prawa algebry Boole’a [5 znaczków: 0,1,(~),(*),(+)] oraz wszelkie definicje spoza algebry Boole’a [algebra Boole’a plus pozostałe znaczki: ~~>, =>, ~>, <=>, „albo”($)] to przepiękna algebra zbiorów uwzględniająca wszelkie możliwe wzajemne położenia zbiorów p i q w obrębie dziedziny D.
Najważniejszy w logice matematycznej, tzn. w teorii zbiorów jest operator chaosu p|~~>q bowiem umożliwia on najprostsze i najszybsze rozszyfrowanie w skład jakiego operatora logicznego wchodzi dane zdanie warunkowe „Jeśli p to q” - pokazywałem to już milion razy, niestety głosem wołającego na puszczy, bowiem ziemianie mają zabetonowane mózgi gównem zwanym KRZ co uniemożliwia mi, póki co, nawiązanie z nimi kontaktu … ale to się zmieni, bo ileż można bronić się przed algebrą Kubusia, logiką matematyczną, której ekspertami są 5-cio latki?

AK napisał:

5.6.3 Operator chaosu |~~> w zbiorach



Definicja operatora chaosu |~~> w zbiorach:
Zbiory p i q mają część wspólną i żaden z nich nie zawiera się w drugim
p|~~>q = (p~~>q)*~(p=>q)*~(q=>p) = 1*~(0)*~(0) = 1*1*1 =1
Gdzie:
p~~>q = p*q =1 - istnieje część wspólna zbiorów p i q
p=>q =0 - zbiór p nie jest podzbiorem => zbioru q
q=>p =0 - zbiór q nie jest podzbiorem => zbioru p

Przykład:
A.
Jeśli liczba jest podzielna przez 8 to może ~~> być podzielna przez 3
P8~~>P3 = P8*P3 =1 bo 24
Dziedzina:
LN=[1,2,3,4,5,6,7,8,9..] - zbiór liczb naturalnych
P8=[8,16,24..] - zbiór liczb podzielnych przez 8
P3=[3,6,9,12,15..] - zbiór liczb podzielnych przez 3
Obliczenia przeczeń zbiorów:
~P8=[1,2,3,4,5,6,7..9..]
~P3=[1,2..4,5..7,8..]
B.
Jeśli liczba jest podzielna przez 8 to może ~~> nie być podzielna przez 3
P8~~>~P3 = P8*~P3 =1 bo 8
C.
Jeśli liczba nie jest podzielna przez 8 to może nie być podzielna przez 3
~P8~~>~P3 = ~P8*~P3 =1 bo 2
D.
Jeśli liczba nie jest podzielna przez 8 to może być podzielna przez 3
~P8~~>P3 = ~P8*P3 =1 bo 3


Lekcja spójnika „i”(*) z dedykacją dla Irbisola.

W powyższym diagramie chaosu p|~~>q możemy przypisać funkcję logiczną w logice dodatniej (bo Y) w spójniku „i”(*) na cztery różne sposoby.
Oczywiście funkcja w logice ujemnej (bo ~Y) to za każdym razem pozostałe zbiory w stosunku do wyróżnionego spójnikiem „i”(*)

Ogólna tabela zero-jedynkowa operatora AND:
Kod:

Wejścia |Wyjście
A: 1  1 | 1
B: 1  0 | 0
C: 0  1 | 0
D: 0  0 | 0
   1  2   3

Uważaj Irbisolu:
Nagłówki w kolumnach wejściowych 1 i 2 mogą być niezaprzeczone (p,q) lub dowolnie zaprzeczone (p*~q, ~p*q, ~p*~q).
Podobnie kolumna wyjściowa 3 może być niezaprzeczona (Y) lub zaprzeczona (~Y)
Burzy to twoje jedynie słuszne przypisywanie kolumnom 1, 2 i 3 wyłącznie logiki dodatniej (odpowiednio: p, q, Y)!

W sumie mamy tu 8 operatorów typu AND(|*)!

Pierwsze cztery typy operatora AND(|*) to przypisanie czterem możliwym tu zbiorom spójnika „i”(*) w logice dodatniej (bo Y):
I.
Operator AND(|*) typu: Y=p*q

Kod:

Operator AND(|*) typu Y=p*q
Tabela zero-jedynkowa        |Równania cząstkowe
                             |w mintermach
   p  q ~p ~q Y=p*q ~Y=~p+~q |
A: 1  1  0  0  1      0      | Ya= p* q
B: 1  0  0  1  0      1      |~Yb= p*~q
C: 0  1  1  0  0      1      |~Yc=~p* q
D: 0  0  1  1  0      1      |~Yd=~p*~q

Operator AND(|*) typu Y=p*q to układ równań logicznych Y i ~Y
1.
Y=Ya
Y = A: p*q
2.
~Y to pozostałe zdarzenia:
~Y=~Yb+~Yc+~Yd
~Y = B: p*~q + C: ~p*q + D: ~p*~q = ~p+~q
Uwaga:
Jeśli za punkt odniesienia przyjmiemy funkcję logiczną Y=p*q
To otrzymamy definicję spójnika „i”(*) dla potrzeb rachunku zero-jedynkowego.
Y=p*q
Kod:

Definicja spójnika „i”(*)
dla potrzeb rachunku zero-jedynkowego
   p  q Y=p*q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0


II.
Operator AND(|*) typu: Y=p*~q

Kod:

Operator AND(|*) typu Y=p*~q
Tabela zero-jedynkowa           |Równania cząstkowe
                                |w mintermach
   p  q ~p ~q  Y=p*~q  ~Y=~p+q  |
A: 1  1  0  0   0        1      |~Ya= p* q
B: 1  0  0  1   1        0      | Yb= p*~q
C: 0  1  1  0   0        1      |~Yc=~p* q
D: 0  0  1  1   0        1      |~Yd=~p*~q

Operator AND(|*) typu Y=p*~q to układ równań logicznych Y i ~Y
1
Y=Yb
Y= p*~q
2.
~Y to pozostałe zdarzenia:
~Y=~Ya+~Yc+~Yd
~Y=p*q+~p*q + ~p*~q = ~p+q

III.
Operator AND(|*) typu: Y=~p*q

Kod:

Operator AND(|*) typu Y=~p*q
Tabela zero-jedynkowa           |Równania cząstkowe
                                |w mintermach
   p  q ~p ~q  Y=~p*q  ~Y=p+~q  |
A: 1  1  0  0   0        1      |~Ya= p* q
B: 1  0  0  1   0        1      |~Yb= p*~q
C: 0  1  1  0   1        0      | Yc=~p* q
D: 0  0  1  1   0        1      |~Yd=~p*~q

Operator AND(|*) typu Y=~p*q to układ równań logicznych Y i ~Y
1.
Y=Yc
Y=p*~q
2.
~Y to pozostałe zdarzenia:
~Y= ~Ya+~Yb+~Yd
~Y = p*q + p*~q + ~p*~q = p+~q

IV.
Operator AND(|*) typu: Y=~p*~q

Kod:

Operator AND(|*) typu Y=~p*~q
Tabela zero-jedynkowa           |Równania cząstkowe
                                |w mintermach
   p  q ~p ~q  Y=~p*q  ~Y=p+~q  |
A: 1  1  0  0   0        1      |~Ya= p* q
B: 1  0  0  1   0        1      |~Yb= p*~q
C: 0  1  1  0   0        1      |~Yc=~p* q
D: 0  0  1  1   1        0      | Yd=~p*~q

Operator AND(|*) typu Y=~p*q to układ równań logicznych Y i ~Y
1.
Y=Yd
Y = ~p*~q
2.
~Y to pozostałe zdarzenia:
~Y=~Ya+~Yb+~Yc
~Y = p*q + p*~q + ~p*q = p+q

Kolejne cztery operatory logiczne typu AND(|*) to przypisanie czterem możliwym tu zbiorom spójnika „i”(*) w logice ujemnej (bo ~Y):

V.
Operator AND(|*) typu: ~Y=p*q

Kod:

Operator AND(|*) typu ~Y=p*q
Tabela zero-jedynkowa         |Równania cząstkowe
                              |w mintermach
   p  q ~p ~q ~Y=p*q  Y=~p+~q |
A: 1  1  0  0   1      0      |~Ya= p* q
B: 1  0  0  1   0      1      | Yb= p*~q
C: 0  1  1  0   0      1      | Yc=~p* q
D: 0  0  1  1   0      1      | Yd=~p*~q

Operator AND(|*) typu ~Y=p*q to układ równań logicznych Y i ~Y
1.
~Y=~Ya
~Ya=p*q
2.
Y to pozostałe zdarzenia
Y = Yb+Yc+Yd
Y = p*~q + ~p*q + ~p*~q = p+q
Uwaga:
Jeśli za punkt odniesienia przyjmiemy funkcję logiczną: Y=p+q
To otrzymamy definicję spójnika „lub”(+) w logice dodatniej (bo Y)

VI.
Operator AND(|*) typu: ~Y=p*~q

Kod:

Operator AND(|*) typu ~Y=p*~q
Tabela zero-jedynkowa         |Równania cząstkowe
                              |w mintermach
   p  q ~p ~q ~Y=p*~q Y=~p+q  |
A: 1  1  0  0   0      1      | Ya= p* q
B: 1  0  0  1   1      0      |~Yb= p*~q
C: 0  1  1  0   0      1      | Yc=~p* q
D: 0  0  1  1   0      1      | Yd=~p*~q

Operator AND(|*) typu ~Y=p*~q to układ równań logicznych Y i ~Y
1.
~Y=~Yb
~Y=p*~q
2.
Y to pozostałe zdarzenia:
Y = Ya+Yc+Yd
Y = p*q + ~p*q + ~p*~q = ~p+q
Uwaga:
Jeśli za punkt odniesienia przyjmiemy funkcję logiczną: Y=~p+q
To otrzymamy definicję warunku wystarczającego =>:
p=>q = ~p+q
Kod:

Definicja warunku wystarczającego p=>q
dla potrzeb rachunku zero-jedynkowego
   p  q p=>q=~p+q
A: 1  1  1
B: 1  0  0
C: 0  1  1
D: 0  0  1


VII.
Operator AND(|*) typu: ~Y=~p*q

Kod:

Operator AND(|*) typu ~Y=~p*q
Tabela zero-jedynkowa         |Równania cząstkowe
                              |w mintermach
   p  q ~p ~q ~Y=~p*q Y=p+~q  |
A: 1  1  0  0   0      1      | Ya= p* q
B: 1  0  0  1   0      1      | Yb= p*~q
C: 0  1  1  0   1      0      |~Yc=~p* q
D: 0  0  1  1   0      1      | Yd=~p*~q

Operator AND(|*) typu ~Y=~p*q to układ równań logicznych Y i ~Y
1.
~Y=~Yc
~Y=~p*q
2.
Y to pozostałe zdarzenia:
Y = Ya+Yb+Yc
Y = p*q + p*~q + ~p*~q = p+~q
Uwaga:
Jeśli za punkt odniesienia przyjmiemy funkcję logiczną: Y=p+~q
To otrzymamy definicję warunku koniecznego ~>:
p~>q = p+~q
Kod:

Definicja warunku koniecznego p~>q
dla potrzeb rachunku zero-jedynkowego
   p  q p~>q=p+~q
A: 1  1  1
B: 1  0  1
C: 0  1  0
D: 0  0  1


VIII.
Operator AND(|*) typu: ~Y=~p*~q

Kod:

Operator AND(|*) typu ~Y=~p*~q
Tabela zero-jedynkowa         |Równania cząstkowe
                              |w mintermach
   p  q ~p ~q ~Y=~p*~q Y=p+q  |
A: 1  1  0  0   0       1     | Ya= p* q
B: 1  0  0  1   0       1     | Yb= p*~q
C: 0  1  1  0   0       1     | Yc=~p* q
D: 0  0  1  1   1       0     |~Yd=~p*~q

Operator AND(|*) typu ~Y=~p*~q to układ równań logicznych Y i ~Y
1.
~Y=~Yd
~Y=~p*~q
2.
Y to pozostałe zdarzenia:
Y=Ya+Yb+Yc
Y = p*q + p*~q + ~p*~q = p+q
Uwaga:
Jeśli za punkt odniesienia przyjmiemy funkcję logiczną: Y=p+q
To otrzymamy definicję spójnika „lub”(+) w logice dodatniej (bo Y)
Y=p+q
Kod:

Definicja spójnika „lub”(+)
dla potrzeb rachunku zero-jedynkowego
   p  q Y=p+q
A: 1  1  1
B: 1  0  1
C: 0  1  1
D: 0  0  0


Powyższe operatory są różna na mocy definicji ##:
I ## II ## III ## IV ## V ## VI ## VII ## VIII

Definicja znaczka różne na mocy definicji ##:
Dwie funkcje logiczne Y=f(x) sa różne na mocy definicji ## wtedy i tylko wtedy gdy nie istnieją prawa logiki matematycznej przekształcające jedną funkcję logiczną w drugą

Przykład:
Operator AND(|*) to układ równań logicznych Y i ~Y:
1.
Y=p*q
.. a kiedy zajdzie ~Y?
Negujemy dwustronnie:
2.
~Y=~(p*q)
Prawo De Morgana:
~(p*q) = ~p+~q
stąd:
~Y=~p+~q
Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y)
Y=~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej bo Y:
Y = p*q = ~(~p+~q)
Zauważmy że funkcje Y i ~Y nie są różne na mocy definicji ## bo istnieje prawo logiki matematycznej (dwustronna negacja) przekształcające funkcję logiczną Y w funkcję logiczną ~Y i odwrotnie.
Funkcje Y i ~Y są różne w znaczeniu znaczka #.

Definicja znaczka różne #:
Dwie funkcje logiczne Y=f(x) są różne w znaczeniu znaczka # wtedy tylko wtedy gdy jedna strona znaczka # jest negacją drugiej strony
Nasz przykład:
Y=p*q # ~Y = ~p+~q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 i q=1 # ~Y=1 <=> ~p=1 lub ~q=1
Prawa Prosiaczka:
(Y=1) = (~Y=0)
(~Y=1) = (Y=0)
Na mocy praw Prosiaczka prawdziwość dowolnej strony znaczka # wymusza fałszywość drugiej strony i odwrotnie.

Funkcja logiczna ~Y jest uzupełnieniem do dziedziny dla funkcji logicznej Y.
Dowód:
Y+~Y = (p*q)+(~p+~q) = (p*q) + ~(p*q) =1 - dziedzina równania algebry Boole’a
Y*~Y = (p*q)*~(p*q) = [] =0 - zbiory Y i ~Y są rozłączna
cnd

Operator OR(|+) to układ równań logicznych Y i ~Y
1.
Y=p+q
… a kiedy zajdzie ~Y?
Negujemy dwustronnie:
2.
~Y=~(p+q)
Prawo De Morgana:
~(p+q) = ~p*~q
stąd:
2.
~Y=~p*~q
Związek logiki dodatniej (bo Y) i ujemnej (bo ~Y)
Y=~(~Y)
Podstawiając 1 i 2 mamy prawo De Morgana w logice dodatniej bo Y:
Y = p+q = ~(~p*~q)
Zauważmy że funkcje Y i ~Y nie są różne na mocy definicji ## bo istnieje prawo logiki matematycznej (dwustronna negacja) przekształcające funkcję logiczną Y w funkcję logiczną ~Y i odwrotnie.
Funkcje Y i ~Y są różne w znaczeniu znaczka #.

Definicja znaczka różne #:
Dwie funkcje logiczne Y=f(x) są różne w znaczeniu znaczka # wtedy tylko wtedy gdy jedna strona znaczka # jest negacją drugiej strony
Nasz przykład:
Y=p+q # ~Y = ~p*~q
co w logice miękkich jedynek oznacza:
Y=1 <=> p=1 lub q=1 # ~Y=1 <=> ~p=1 i ~q=1
Prawa Prosiaczka:
(Y=1) = (~Y=0)
(~Y=1) = (Y=0)
Na mocy praw Prosiaczka prawdziwość dowolnej strony znaczka # wymusza fałszywość drugiej strony i odwrotnie.

Funkcja logiczna ~Y jest uzupełnieniem do dziedziny dla funkcji logicznej Y.
Dowód:
Y+~Y = (p+q)+(~p*~q) = (p+q) + ~(p+q) =1 - dziedzina równania algebry Boole’a
Y*~Y = (p+q)*~(p+q) = [] =0 - zbiory Y i ~Y są rozłączna
cnd


Znaczenie znaczka różne na mocy definicji ##:
Nie istnieje ani jedno prawo logiki matematycznej umożliwiające przejście z operatora AND(|*) do operatora OR(|+) i odwrotnie

Czy ten post jest zrozumiały?


Ostatnio zmieniony przez rafal3006 dnia Sob 17:48, 15 Wrz 2018, w całości zmieniany 11 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14105
Przeczytał: 31 tematów


PostWysłany: Sob 11:30, 15 Wrz 2018    Temat postu:

rafal3006 napisał:
Operatory logiczne typu AND(|*)

Irbisol napisał:

rafal3006 napisał:
Irbisol napisał:

Ale ja cię nie pytam o poprawną interpretację spójnika "i".

Od miesięcy nie potrafisz wykrztusić z siebie odpowiedzi na
najprostsze na świecie pytanie dotyczące twojej logiki.

Zauważ Irbisolu że wszystkie cztery prawa wyżej to prawa rachunku
zero-jedynkowego

Ale ja mam głęboko w dupie to, jakie są cztery prawa powyżej.
Dostałeś pytanie o wynik działania i razem ze swoją algebrą i
historycznymi postami nie jesteś w stanie na to pytanie odpowiedzieć.

Jak zwykle nie wiesz w którym kościele dzwony biją!

To ty nie wiesz - nie odpowiadasz na pytania, tylko pierdzielisz nie na temat.

I tak każdy widzi, że od miesięcy twoja algebra nie potrafi sobie poradzić z najtrywialniejszym pytaniem.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Sob 11:56, 15 Wrz 2018    Temat postu:

Znaczenie spójnika „i”(*) w naszej wspólnej teorii zbiorów!

Wspólna teoria zbiorów w algebrze Kubusia i teorii zbiorów ziemian to zaledwie trzy znaczki ~~>, => i ~>.
Przypominam, tego nigdy za wiele:

Prawo Rekina:
Wszelkie prawa rachunku zero-jedynkowego to prawa naszej wspólnej teorii zbiorów:

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-675.html#405775
rafal3006 napisał:
Algebra Kubusia = nasza wspólna teoria zbiorów!

Na gruncie teorii zbiorów algebra Kubusia ani na jotę nie wychodzi poza podstawowe definicje:
1.
Podzbioru =>

p=>q =1 - wtedy i tylko wtedy gdy p jest podzbiorem => q
Inaczej:
p=>q =0
2.
Nadzbioru ~>

p~>q =1 - wtedy i tylko wtedy gdy p jest nadzbiorem ~> q
Inaczej:
p~>q =0
3.
Definicja elementu wspólnego zbiorów ~~>:

p~~>q = p*q =1 - wtedy i tylko wtedy gdy zbiory p i q mają element wspólny
Inaczej:
p~~>q = p*q =[] =0 - zbiory p i q są rozłączne

Każdy ziemski matematyk który twierdzi, że nie mamy identycznych definicji na gruncie naszej wspólnej teorii zbiorów jak wyżej jest w potwornym błędzie bo ten fakt łato udowodnić.

Bardzo proszę dowody!
[link widoczny dla zalogowanych]ór
sjp napisał:

Podzbiór
część danego zbioru

[link widoczny dla zalogowanych]ór
sjp napisał:

Nadzbiór
w matematyce, dla danego zbioru: każdy zbiór zawierający wszystkie jego elementy

[link widoczny dla zalogowanych]
mathedu napisał:

Zbiory rozłączne
Zbiory, których iloczyn jest zbiorem pustym, nazywamy rozłącznymi.
A*B = []

Wyłącznie matematyczny matoł może z tego nie wywnioskować definicji elementu wspólnego zbiorów ~~>
cnd


Irbisol napisał:

To ty nie wiesz - nie odpowiadasz na pytania, tylko pierdzielisz nie na temat.

I tak każdy widzi, że od miesięcy twoja algebra nie potrafi sobie poradzić z najtrywialniejszym pytaniem.

Na pytanie o definicję spójnika "i"(*) w logice matematycznej tzn. w naszej wspólnej teorii zbiorów dawno ci odpowiedziałem.

http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-675.html#405675
Andy72 napisał:
rafal3006 napisał:

Jeśli zwierzę jest psem i kotem to na 100% ma cztery łapy

Każdy rozgarnięty 5-latek zrozumie ze zwierzę nie może być "psem I kotem" ale "psem LUB kotem" albo "psem ALBO kotem".

Spójnik „i”(*) w powyższym cytacie oznacza część wspólną zbiorów P=[pies] i K=[kot].
A.
Jeśli zwierzę jest psem i kotem to na 100% ma cztery łapy
P*K=> 4L =0
W poprzedniku mamy zbiór pusty:
P*K = [pies]*[kot] = 1*1 = [] =0
Czytamy:
Oba zbiory istnieją P=1 i K=1, ale są rozłączne, stąd w poprzedniku mamy zbiór pusty [], co oznacza, że definicja elementu wspólnego zbiorów P*K nie jest (=0) spełniona.
Podstawmy to do naszego zdania A:
P*K=[] => 4L =0
Prawo Kobry:
Warunkiem koniecznym ~> prawdziwości dowolnego zdania warunkowego „Jeśli p to q” jest jego prawdziwość pod względem posiadania elementu wspólnego zbiorów ~~> p i q.
Badamy nasze zdanie A pod tym względem:
A1.
P*K ~~> 4L = (P*K)*4L = []*4L = [] =0
Definicja elementu wspólnego zbiorów ~~> nie jest (=0) spełniona.
Fałszywość zdania A1, na mocy prawa Kobry, wymusza fałszywość zdania A.

Czekam teraz Irbisolu na określenie prawdziwości/fałszywości zdania A w twojej logice matematycznej.

Oczywistym jest, że w logice matematycznej tzn. w naszej wspólnej teorii zbiorów definicja spójnia "i"(*) jest następująca:

Spójnik "i"(*) to po prostu:
1.
W teorii zbiorów:

p~~>q = p*q =1 - gdy zbiory mają część wspólną
Inaczej:
p~~>q = p*q =0 - gdy zbiory nie mają części wspólnej (są rozłączne)
Przykład pozytywny:
Liczba podzielna przez 8 może ~~> być podzielna przez 2
P8~~>P2 = P8*P2 =1 bo 8
Wystarczy pokazać jeden wspólny element zbiorów P8=[8,16,24..] i P2=[2,4,6,8..]
Przykład negatywny:
Liczba podzielna przez 8 może ~~> nie być podzielna przez 2
P8~~>~P2 = P8*~P2 =[] =0 - brak wspólnego elementu ~~>, zbiory P8=[8,16..] i ~P2=[1,3,5,7,9..] są rozłączne

2.
W teorii zdarzeń:

p~~>q = p*q =1 - możliwe jest zajście zdarzenia p i q
InaczeJ:
p~~>q = p*q =0 - nie jest możliwe zajście zdarzenia p i q
Przykład:
Jutro pójdziemy do kina i do teatru
Y=K*T
co w logice miękkich jedynek oznacza:
Y=1 <=> K=1 i T=1
Możliwe jest zdarzenie pójście jutro i do kina (K=1) i do teatru (T=1)

Czy to jest zrozumiałe?


Ostatnio zmieniony przez rafal3006 dnia Sob 12:11, 15 Wrz 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Sob 12:56, 15 Wrz 2018    Temat postu:

"Na pytanie o definicję spójnika "i"(*) w logice matematycznej tzn. w naszej wspólnej teorii zbiorów dawno ci odpowiedziałem."

Nikt cię nie pytał o żadne definicje.
Dlaczego starasz się "zgadywać" o co cię pytali, skoro doskonale wiesz o co pytali i nie umiałeś na TO pytanie odpowiedzieć?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14105
Przeczytał: 31 tematów


PostWysłany: Sob 15:49, 15 Wrz 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:

To ty nie wiesz - nie odpowiadasz na pytania, tylko pierdzielisz nie na temat.

I tak każdy widzi, że od miesięcy twoja algebra nie potrafi sobie poradzić z najtrywialniejszym pytaniem.

Na pytanie o definicję spójnika "i"(*) w logice matematycznej tzn. w naszej wspólnej teorii zbiorów dawno ci odpowiedziałem.

Na wiele pytań odpowiedziałeś, o które to odpowiedzi nikt cię nie prosił.
Na MOJE pytanie nie odpowiedziałeś od miesięcy.
To tak, jak byś zachwalał nowy samochód, jaki to on zajebisty i ponadczasowy oraz zrywający z dotychczasowymi gównianymi samochodami, a jak ktoś zapyta "a jak to jeździ" - to cisza ...
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Sob 16:55, 15 Wrz 2018    Temat postu:

Odpowiedź na pytanie Irbisola!
Analiza równań cząstkowych metodą superpozycji

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:

To ty nie wiesz - nie odpowiadasz na pytania, tylko pierdzielisz nie na temat.

I tak każdy widzi, że od miesięcy twoja algebra nie potrafi sobie poradzić z najtrywialniejszym pytaniem.

Na pytanie o definicję spójnika "i"(*) w logice matematycznej tzn. w naszej wspólnej teorii zbiorów dawno ci odpowiedziałem.

Na wiele pytań odpowiedziałeś, o które to odpowiedzi nikt cię nie prosił.
Na MOJE pytanie nie odpowiedziałeś od miesięcy.
To tak, jak byś zachwalał nowy samochód, jaki to on zajebisty i ponadczasowy oraz zrywający z dotychczasowymi gównianymi samochodami, a jak ktoś zapyta "a jak to jeździ" - to cisza ...


Irbisolu, szczegółową odpowiedź dostałeś w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-700.html#405991

Cytuję fragment:
Rafal3006 napisał:

Lekcja spójnika „i”(*) z dedykacją dla Irbisola.

W powyższym diagramie chaosu p|~~>q możemy przypisać funkcję logiczną w logice dodatniej (bo Y) w spójniku „i”(*) na cztery różne sposoby.
Oczywiście funkcja w logice ujemnej (bo ~Y) to za każdym razem pozostałe zbiory w stosunku do wyróżnionego spójnikiem „i”(*)

Ogólna tabela zero-jedynkowa spójnika „i”(*) (u ziemian AND):
Kod:

Wejścia |Wyjście
A: 1  1 | 1
B: 1  0 | 0
C: 0  1 | 0
D: 0  0 | 0
   1  2   3

Uważaj Irbisolu:
Nagłówki w kolumnach wejściowych 1 i 2 mogą być niezaprzeczone (p,q) lub dowolnie zaprzeczone (p*~q, ~p*q, ~p*~q).
Podobnie kolumna wyjściowa 3 może być niezaprzeczona (Y) lub zaprzeczona (~Y)
Burzy to twoje jedynie słuszne przypisywanie kolumnom 1, 2 i 3 wyłącznie logiki dodatniej (odpowiednio: p, q, Y)!

W sumie mamy tu 8 operatorów typu AND(|*)!

Każdy z 8 operatorów typu AND(|*) zbudowany jest z czterech niezależnych bramek „i”(*) co razem daje to 32 bramki „i”(*) - u ziemian 32 bramki AND.
Tu chodzi o to że Irbisol nie rozumie powiązań tych bramek z językiem potocznym 5-cio latków!

Udajmy się do przedszkola.
Pani:
A.
Jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co w logice miękkich jedynek oznacza:
Y=1 <=> ~K=1 i ~T=1
Czytamy:
Pani dotrzyma słowa (Y=1) wtedy i tylko wtedy gdy jutro nie pójdziemy do kina (~K=1) i nie pójdziemy do teatru (~T=1).

Definicja zero-jedynkowa spójnika „i”(*) (u ziemian bramki AND) to gołe jedynki i zera bez żadnego opisu nad kolumnami!
Powtórzę:
Ogólna tabela zero-jedynkowa spójnika „i”(*) z języka potocznego człowieka (u ziemian bramki AND):
Kod:

Wejścia |Wyjście
A: 1  0 | 0
B: 1  1 | 1
C: 0  0 | 0
D: 0  1 | 0
   1  2   3

Oczywistym jest, że wiersze możemy sobie dowolnie zamieniać i dalej będzie to OGÓLNA definicja spójnika „i”(*) z języka potocznego (u ziemian bramki AND)!
Dla kogoś kto nie zna binarnej reprezentacji kolejnych liczb dziesiętnych jest bez znaczenia jak sobie te linie poprzestawia.
Ktoś kto zna przełożenie liczb binarnych na dziesiętne uporządkuje tabelę ABCD12 w kolejności od największej liczby do najmniejszej (albo odwrotnie). Porządek tylko i wyłącznie ułatwia operowania tabelami zero-jedynkowymi, absolutnie nic więcej w algebrze Boole’a nie daje.
Uporządkujmy tabelę ABCD12 od liczby największej (dziesiętnie 3) do liczby najmniejszej (dziesiętnie 0).
Ogólna tabela zero-jedynkowa spójnika „i”(*):
Kod:

Wejścia |Wyjście
A: 1  1 | 1
B: 1  0 | 0
C: 0  1 | 0
D: 0  0 | 0
   1  2   3

Mamy nasze zdanie:
Pani:
A.
Jutro nie pójdziemy do kina (~T=1) i nie pójdziemy do teatru (~T=1)
Y=~K*~T
co w logice miękkich jedynek oznacza:
Y=1 <=> ~K=1 i ~T=1

Pani użyła spójnika „i”(*) z języka potocznego zatem to zdanie musimy przyporządkować zero-jedynkowej tabeli spójnika „i”(*) jak wyżej.
Zróbmy to!
Kod:

  ~K ~T | Y=~K*~T
A: 1  1 | 1
B: 1  0 | 0
C: 0  1 | 0
D: 0  0 | 0
   1  2   3

Irbisol pyta:
Co zwróci bramka “i”(*) gdy na jej wejściach ustawimy dwie jedynki.
Odpowiadam!
Jeśli na wejściu bramki „i”(*) ustawimy ~K=1 i ~T=1 to na wyjściu bramki „i”(*) dostaniemy odpowiedź Y=1
W zapisach ogólnych będzie to tak:
Jeśli na wejściu bramki „i’(*) ustawimy ~p=1 i ~q=1 to na wyjściu bramki „i”(*) dostaniemy odpowiedź Y=1

Prawo Lwa:
Dowolny sygnał cyfrowy w logice dodatniej (bo Y) wymusza sygnał w logice ujemnej (bo ~Y) i odwrotnie.

Prawa Lwa nikomu nie wolno gwałcić, zatem pełna tabela zero-jedynkowa spójnika „i”(*) będzie jak niżej.
Przejdźmy na zapisy ogólne podstawiając:
p=K
q=T
Kod:

TA
W technice mintermów opisujemy wyłącznie wynikowe jedynki w pełnej tabeli zero-jedynkowej
W poziomach stosujemy spójnik „i”(*) zaś w pionach spójnik „lub”(+)
Tabela zero-jedynkowa            |Co w mintermach     |Równania cząstkowe
spójnika „i”(*) to ABCD125       |oznacza             |w mintermach
  ~p ~q  p  q | Ya=~p*~q ~Ya=p+q |                    |
A: 1  1  0  0 |   1         0    | Ya=1<=>~p=1 i ~q=1 | Ya=~p*~q
B: 1  0  0  1 |   0         1    |~Yb=1<=>~p=1 i  q=1 |~Yb=~p* q
C: 0  1  1  0 |   0         1    |~Yc=1<=> p=1 i ~q=1 |~Yc= p*~q
D: 0  0  1  1 |   0         1    |~Yd=1<=> p=1 i  q=1 |~Yd= p* q
   1  2  3  4     5         6      a       b      c     d   e  f

Definicja operatora AND(|*) to układ równań Y i ~Y:
Z tabeli równań cząstkowych odczytujemy:
1.
Y=Ya - bo jest tylko jedna funkcja cząstkowa w logice dodatniej (bo Y)
Y=~p*~q
co w miękkich jedynkach oznacza:
Y=1 <=> ~p=1 i ~q=1
A.
Irbisol pyta:

Co zwróci spójnik „i”(*) opisany równaniem:
Ya=~p*~q
Odpowiadam:
W odpowiedzi na ~p=1 i ~q=1 funkcja Ya=~p*~q zwróci 1.
Definicję spójnika „i”(*) dla funkcji Ya=~p*~q doskonale widać w tabeli ABCD125

2.
Z tabeli równań cząstkowych otrzymujemy:

~Y=~Yb+~Yc+~Yd
Po rozwinięciu mamy:
~Y = B: ~p*q + C: p*~q + p*q
co w miękkich jedynkach oznacza:
~Y=1 <=> B: ~p=1 i q=1 lub C: p=1 i ~q=1 lub D: p=1 i q=1
Przywracając podstawienia (p=K i q=T) czytamy:
Pani skłamie (~Y=1) wtedy i tylko wtedy gdy:
B: ~K*T =1*1 =1 - jutro nie pójdziemy do kina (~K=1) i pójdziemy do teatru (T=1)
lub
C: K*~T=1*1 =1 - jutro pójdziemy do kina (K=1) i nie pójdziemy do teatru (~T=1)
lub
D: K*T=1*1 =1 - jutro pójdziemy do kina (K=1) i pójdziemy do teatru (T=1)

Analiza równań cząstkowych metodą superpozycji:
Weźmy nasz przykład.
Dana jest funkcja logiczna:
~Y=~Yb+~Yc+~Yd
Analiza równań cząstkowych dowolnej tabeli zero-jedynkowej metodą superpozycji polega na wyizolowaniu kolejnych funkcji logicznych ~Yx i zapisaniu ich w tabeli zero-jedynkowej.
Rozwiązanie końcowe to suma funkcji cząstkowych:
~Y=~Yb+~Yc+~Yd

B.
Irbisol pyta:

Co zwróci spójnik „i”(*) opisany równaniem:
~Yb=~p*q
Odpowiadam:
W odpowiedzi na ~p=1 i q=1 funkcja ~Yb=~p*q zwróci ~Yb=1

UWAGA!
Jeśli mówimy o funkcji ~Yb to tabela zero-jedynkowa będzie taka:
Kod:

TB
W technice mintermów opisujemy wyłącznie wynikowe jedynki w pełnej tabeli zero-jedynkowej
W poziomach stosujemy spójnik „i”(*) zaś w pionach spójnik „lub”(+)
Tabela zero-jedynkowa            |Co w mintermach     |Równania cząstkowe
spójnika „i”(*) to ABCD145       |oznacza             |w mintermach
  ~p ~q  p  q |~Yb=~p*q  Yb=p+~q |                    |
A: 1  1  0  0 |   0        1     | Ya=1<=>~p=1 i ~q=1 | Ya=~p*~q
B: 1  0  0  1 |   1        0     |~Yb=1<=>~p=1 i  q=1 |~Yb=~p* q
C: 0  1  1  0 |   0        1     | Yc=1<=> p=1 i ~q=1 | Yc= p*~q
D: 0  0  1  1 |   0        1     | Yd=1<=> p=1 i  q=1 | Yd= p* q
   1  2  3  4     5        6       a       b      c     d   e  f

Definicję spójnika “i”(*) dla funkcji ~Yb=~p*q doskonale widać w tabeli ABCD145

C.
Irbisol pyta:

Co zwróci spójnik „i’(*) opisany równaniem:
~Yc=p*~q
Odpowiadam:
W odpowiedzi na p=1 i ~q=1 funkcja ~Yc=p*~q zwróci ~Yc=1

UWAGA!
Jeśli mówimy o funkcji ~Yc to tabela zero-jedynkowa będzie taka:
Kod:

TC
W technice mintermów opisujemy wyłącznie wynikowe jedynki w pełnej tabeli zero-jedynkowej
W poziomach stosujemy spójnik „i”(*) zaś w pionach spójnik „lub”(+)
Tabela zero-jedynkowa            |Co w mintermach     |Równania cząstkowe
spójnika „i”(*) to ABCD235       |oznacza             |w mintermach
  ~p ~q  p  q |~Yc=p*~q  Yc=~p+q |                    |
A: 1  1  0  0 |   0         1    | Ya=1<=>~p=1 i ~q=1 | Ya=~p*~q
B: 1  0  0  1 |   0         1    | Yb=1<=>~p=1 i  q=1 | Yb=~p* q
C: 0  1  1  0 |   1         0    |~Yc=1<=> p=1 i ~q=1 |~Yc= p*~q
D: 0  0  1  1 |   0         1    | Yd=1<=> p=1 i  q=1 | Yd= p* q
   1  2  3  4     5         6      a       b      c     d   e  f

Definicję spójnika “i”(*) dla funkcji ~Yc=p*~q doskonale widać w tabeli ABCD235

D.
Irbisol pyta:

Co zwróci spójnik „i”(*) opisany równaniem:
~Yd=p*q
Odpowiadam:
W odpowiedzi na p=1 i q=1 funkcja ~Yd=p*q zwróci ~Yd=1

UWAGA!
Jeśli mówimy o funkcji ~Yd to tabela zero-jedynkowa będzie taka:
Kod:

TD
W technice mintermów opisujemy wyłącznie wynikowe jedynki w pełnej tabeli zero-jedynkowej
W poziomach stosujemy spójnik „i”(*) zaś w pionach spójnik „lub”(+)
Tabela zero-jedynkowa            |Co w mintermach     |Równania cząstkowe
spójnika „i”(*) to ABCD345       |oznacza             |w mintermach
  ~p ~q  p  q |~Yd=p*q   Yd=~p+~q|                    |
A: 1  1  0  0 |   0         1    | Ya=1<=>~p=1 i ~q=1 | Ya=~p*~q
B: 1  0  0  1 |   0         1    | Yb=1<=>~p=1 i  q=1 | Yb=~p* q
C: 0  1  1  0 |   0         1    | Yc=1<=> p=1 i ~q=1 | Yc= p*~q
D: 0  0  1  1 |   1         0    |~Yd=1<=> p=1 i  q=1 |~Yd= p* q
   1  2  3  4     5         6      a       b      c     d   e  f

Definicję spójnika “i”(*) dla funkcji ~Yd=p*q doskonale widać w tabeli ABCD345

Wnioski:
1.
Tabela zero-jedynkowa funkcji Y to wyłącznie tabela TA bo jest tylko jedna funkcja cząstkowa Ya w logice dodatniej (bo Ya)
Y=Ya
Po rozwinięciu mamy:
Y = p*q
2.
Tabela zero-jedynkowa funkcji ~Y to suma logiczna tabel TB+TC+TD:
~Y= TB: ~Yb+ TC: ~Yc+ TD: ~Yd
Po rozwinięciu mamy:
~Y = TB: ~p*q + TC: p*~q + TD: p*q

Uwaga!
Mamy tu sytuację identyczną jak w rozwiązywaniu sieci elektrycznych prądu stałego z wieloma źródłami napięcia E metodą superpozycji, gdzie rozwiązujemy równania cząstkowe wyłącznie dla jednego źródła Ex usuwając pozostałe.
Rozwiązanie końcowe sieci to suma rozwiązań cząstkowych:
E = E1+E2..+En
Metoda superpozycji dla początkujących:
https://www.youtube.com/watch?v=CX80iraJK3s

Suma logiczna tabel TC+TD wygląda następująco:
Kod:

TC+TD
W technice mintermów opisujemy wyłącznie wynikowe jedynki w pełnej tabeli zero-jedynkowej
W poziomach stosujemy spójnik „i”(*) zaś w pionach spójnik „lub”(+)
Tabela zero-jedynkowa              |Co w mintermach     |Równania cząstkowe
funkcji logicznej ~Ycd             |oznacza             |w mintermach
              |~Ycd      Ycd       |                    |
  ~p ~q  p  q |p*~q+p*q ~p*~q+~p*q |                    |
A: 1  1  0  0 |  0        1        | Ya=1<=>~p=1 i ~q=1 | Ya=~p*~q
B: 1  0  0  1 |  0        1        | Yb=1<=>~p=1 i  q=1 | Yb=~p* q
C: 0  1  1  0 |  1        0        |~Yc=1<=> p=1 i ~q=1 |~Yc= p*~q
D: 0  0  1  1 |  1        0        |~Yd=1<=> p=1 i  q=1 |~Yd= p* q
   1  2  3  4    5        6          a       b      c     d   e  f

Dodajemy tu logicznie funkcje w logice ujemnej (bo ~Yx), dodając logicznie tabele TC+TD.
Jedynka w punkcie C5 (~Yc) wymusza oczywiście zero w punkcie C6 (Yc=0) na mocy prawa Prosiaczka:
(~Yc=1)=(Yc=0)
Dodajmy do tabeli TC+TD tabelę TB bo tylko wtedy uzyskamy poprawną funkcję logiczną:
~Y=~Yb+~Yc+~Yd

Suma logiczna tabel TB+TC+TD wygląda następująco:
Kod:

TB+TC+TD
W technice mintermów opisujemy wyłącznie wynikowe jedynki w pełnej tabeli zero-jedynkowej
W poziomach stosujemy spójnik „i”(*) zaś w pionach spójnik „lub”(+)
Tabela zero-jedynkowa              |Co w mintermach     |Równania cząstkowe
funkcji logicznej ~Ybcd            |oznacza             |w mintermach
              |~Ybcd         Ybcd  |                    |
  ~p ~q  p  q |~p*q+p*~q+p*q ~p*~q |                    |
A: 1  1  0  0 |  0             1   | Ya=1<=>~p=1 i ~q=1 | Ya=~p*~q
B: 1  0  0  1 |  1             0   |~Yb=1<=>~p=1 i  q=1 |~Yb=~p* q
C: 0  1  1  0 |  1             0   |~Yc=1<=> p=1 i ~q=1 |~Yc= p*~q
D: 0  0  1  1 |  1             0   |~Yd=1<=> p=1 i  q=1 |~Yd= p* q
   1  2  3  4    5             6     a       b      c     d   e  f

Dodajemy tu logicznie funkcje w logice ujemnej (bo ~Yx), dodając logicznie tabele TB+TC+TD.
Jedynka w punkcie B5 (~Yb) wymusza oczywiście zero w punkcie B6 (Yb=0) na mocy prawa Prosiaczka:
(~Yb=1) = (Yb=0)

Podsumowując:
Sami widzisz Irbisolu, że zero-jedynkowa definicja spójnika „i”(*) w algebrze Kubusia nigdy nie jest gwałcona
Zawsze mamy sekwencję:
1 1 =>1
Dowód w tabelach TA, TB, TC i TD
Kluczowe są tu opisy nad kolumnami definicji zero-jedynkowej których ziemianie nie rozumieją, bowiem nie akceptują opisów wyjściowych innych, niż w logice dodatniej (p, q, Y).
Tymczasem te opisy mogą być w dowolnych przeczeniach zgodnie z językiem potocznym, czego dowód w niniejszym poście


Ostatnio zmieniony przez rafal3006 dnia Nie 15:35, 16 Wrz 2018, w całości zmieniany 17 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Sob 18:29, 15 Wrz 2018    Temat postu:

Po co to piszesz?
Przecież wiesz jakie pytanie zadał Irbisol i nie pytał o żadne definicje i inne tego typu bzdury.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 9:48, 16 Wrz 2018    Temat postu:

idiota napisał:
Po co to piszesz?
Przecież wiesz jakie pytanie zadał Irbisol i nie pytał o żadne definicje i inne tego typu bzdury.


Przeczytaj jeszcze raz mój post wyżej Idioto i odpowiedz na pytania:
1.
Co zwróci funkcja logiczna:
Y=p*q
w odpowiedzi na p=1 i q=1
2.
Co zwróci funkcja logiczna:
Y=p*~q
w odpowiedzi na:
p=1 i ~q=1
3.
Co zwróci funkcja logiczna:
Y=~p*q
w odpowiedzi na:
~p=1 i q=1
4.
Co zwróci funkcja logiczna:
Y=~p*~q
w odpowiedzi na:
~p=1 i ~q=1
;
5.
Co zwróci funkcja logiczna:
~Y=p*q
w odpowiedzi na:
p=1 i q=1
6.
Co zwróci funkcja logiczna:
~Y=p*~q
w odpowiedzi na:
p=1 i ~q=1
7.
Co zwróci funkcja logiczna:
~Y=~p*q
w odpowiedzi na:
~p=1 i q=1
8.
Co zwróci funkcja logiczna:
~Y=~p*~q
w odpowiedzi na:
~p=1 i ~q=1

Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:

To ty nie wiesz - nie odpowiadasz na pytania, tylko pierdzielisz nie na temat.

I tak każdy widzi, że od miesięcy twoja algebra nie potrafi sobie poradzić z najtrywialniejszym pytaniem.

Na pytanie o definicję spójnika "i"(*) w logice matematycznej tzn. w naszej wspólnej teorii zbiorów dawno ci odpowiedziałem.

Na wiele pytań odpowiedziałeś, o które to odpowiedzi nikt cię nie prosił.
Na MOJE pytanie nie odpowiedziałeś od miesięcy.
To tak, jak byś zachwalał nowy samochód, jaki to on zajebisty i ponadczasowy oraz zrywający z dotychczasowymi gównianymi samochodami, a jak ktoś zapyta "a jak to jeździ" - to cisza ...

To wytłuszczone to fałsz.
Dowód w niniejszym poście i poprzednim.

Irbisolu,
Ty pytałeś:
Co zwróci bramka „i”(*) (u ziemian bramka AND) po podaniu na jej wejście dwóch jedynek.

Odpowiedz proszę na pytania skierowane do Idioty.
Jak odpowiesz poprawnie to zrozumiesz, iż odpowiedziałem na twoje pytanie z 8-krotną nawiązką.
Poprawną odpowiedź na pytania skierowane do Idioty oczywiście znasz bo zna je każdy uczeń I klasy LO w 100-milowym lesie.
Czy zechcesz przelać odpowiedź na papier?
Oto jest pytanie!

P.S.
Poprawiłem (znaczy doprecyzowałem) mój post wyżej, proszę wszystkich o ponowne jego przeczytanie.


Ostatnio zmieniony przez rafal3006 dnia Nie 10:09, 16 Wrz 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 12:20, 16 Wrz 2018    Temat postu:

"Przeczytaj jeszcze raz mój post wyżej Idioto i odpowiedz na pytania:"

No chyba cię pojebało.
Będę jeszcze raz czytał wpis nie na temat i jeszcze na jakieś twoje puyania odpowiadał.
żałosny jesteś.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 12:36, 16 Wrz 2018    Temat postu:

idiota napisał:
"Przeczytaj jeszcze raz mój post wyżej Idioto i odpowiedz na pytania:"

No chyba cię pojebało.
Będę jeszcze raz czytał wpis nie na temat i jeszcze na jakieś twoje puyania odpowiadał.
żałosny jesteś.

To przeczytaj wyłącznie ostatni banalny post i odpowiedz na pytanie Irbisola.

Pytanie Irbisola:
Jaka jest odpowiedź bramki logicznej "i"(*) (u ziemian AND) dla funkcji logicznej:
~Y=p*~q
Gdy na jej wejście podamy dwie jedynki:
p=1 i ~q=1

Możliwości masz wyłącznie dwie:
~Y=0
albo
~Y=1

Dziwne jest Idioto to, że to ty nie potrafisz odpowiedzieć jednoznacznie na powyższe pytanie.
Jestem pewien, że Irbisol doskonale zna odpowiedź na banalne pytanie wyżej, bo go znam i wiem że potrafi myśleć.
Dowód:
Większość ostatnich moich postów wyżej skomentował iż są to banały znane każdemu ziemskiemu matematykowi.
http://www.sfinia.fora.pl/forum-kubusia,12/algebra-kubusia-2018-cdn,10787-650.html#405361
Irbisol napisał:
rafal3006 napisał:
Irbisol napisał:
Rozdmuchane pierdolenie o oczywistościach ....

W mordę Jeża!
Czyżby na prawdę mój post wyżej był do zrozumienia przez ziemskich matematyków?

Pewnie - przecież tam nie ma nic nowego.
Za to dalszej części, gdzie twoja algebra się wypierdala (tam JEST coś nowego) już ty nie rozumiesz.


Irbisol nie odpowie na proste pytanie w niniejszym poście z jednego powodu:
Poprawna odpowiedź = Armagedon jego logiki matematycznej.

Czy mam rację Irbisolu?


Ostatnio zmieniony przez rafal3006 dnia Nie 12:46, 16 Wrz 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 13:39, 16 Wrz 2018    Temat postu:

No chyba cię pojebało.
Będę jeszcze raz czytał wpis nie na temat i jeszcze na jakieś twoje puyania odpowiadał.
żałosny jesteś.

Rozumiesz co tu napisane?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 13:48, 16 Wrz 2018    Temat postu:

idiota napisał:
No chyba cię pojebało.
Będę jeszcze raz czytał wpis nie na temat i jeszcze na jakieś twoje puyania odpowiadał.
żałosny jesteś.

Rozumiesz co tu napisane?


rafal3006 napisał:

Pytanie Irbisola:
Jaka jest odpowiedź bramki logicznej "i"(*) (u ziemian AND) dla funkcji logicznej:
~Y=p*~q
Gdy na jej wejście podamy dwie jedynki:
p=1 i ~q=1

Możliwości masz wyłącznie dwie:
~Y=0
albo
~Y=1

Dziwne jest Idioto to, że to ty nie potrafisz odpowiedzieć jednoznacznie na powyższe pytanie.


Moja odpowiedź to:
~Y=1

Odpowiedź Irbisola to:
~Y=1

Czy mam rację Irbisolu iż dokładnie taka jest twoja odpowiedź?


Ostatnio zmieniony przez rafal3006 dnia Nie 13:50, 16 Wrz 2018, w całości zmieniany 1 raz
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 14:04, 16 Wrz 2018    Temat postu:

Nie wiem coś sobie ubzdurał i co to ma wspólnego z pytaniem, które ci Irbisol zadał...
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 14:07, 16 Wrz 2018    Temat postu:

"Czy mam rację Irbisolu iż dokładnie taka jest twoja odpowiedź?"

Zadano ci pytanie, głupku.
Po co wymyślasz własne i starasz się zgadną jak ktoś inny na nie odpowie, zamiast odpowiedzieć na to, które ci zadano?
Nie potrafisz na to konkretne odpowiedzieć, czy w ogóle na żadne?
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 14:15, 16 Wrz 2018    Temat postu:

idiota napisał:
"Czy mam rację Irbisolu iż dokładnie taka jest twoja odpowiedź?"

Zadano ci pytanie, głupku.
Po co wymyślasz własne i starasz się zgadną jak ktoś inny na nie odpowie, zamiast odpowiedzieć na to, które ci zadano?
Nie potrafisz na to konkretne odpowiedzieć, czy w ogóle na żadne?

Idioto, Irbisol zadał pytanie dokładnie jak niżej:
rafal3006 napisał:

Pytanie Irbisola:
Jaka jest odpowiedź bramki logicznej "i"(*) (u ziemian AND) dla funkcji logicznej:
~Y=p*~q
Gdy na jej wejście podamy dwie jedynki:
p=1 i ~q=1

Możliwości masz Idioto wyłącznie dwie:
~Y=0
albo
~Y=1

Dziwne jest Idioto to, że to ty nie potrafisz odpowiedzieć jednoznacznie na powyższe pytanie.

Moja odpowiedź to:
~Y=1

Odpowiedź Irbisola to:
~Y=1

Czy mam rację Irbisolu iż dokładnie taka jest twoja odpowiedź?

Niech Irbisol rozstrzygnie o co mu chodziło!
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14105
Przeczytał: 31 tematów


PostWysłany: Nie 16:41, 16 Wrz 2018    Temat postu:

rafal3006 napisał:
Odpowiedź na pytanie Irbisola!
Analiza równań cząstkowych metodą superpozycji
(...)
Lekcja spójnika „i”(*) z dedykacją dla Irbisola.

Nie pytałem o to.
Na to, o co pytałem, nie odpowiedziałeś od miesięcy.
A pytanie było najtrywialniejsze na świecie.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 17:17, 16 Wrz 2018    Temat postu:

Irbisol napisał:
rafal3006 napisał:
Odpowiedź na pytanie Irbisola!
Analiza równań cząstkowych metodą superpozycji
(...)
Lekcja spójnika „i”(*) z dedykacją dla Irbisola.

Nie pytałem o to.
Na to, o co pytałem, nie odpowiedziałeś od miesięcy.
A pytanie było najtrywialniejsze na świecie.

Twoje pytanie brzmiało dokładnie:
Jaka jest odpowiedź bramki "i"(*) (u ziemian bramki AND) na dwie jedynki ustawione na jej wejściach:
1*1 =>?

Czyli w konkretnym przykładzie twoje pytanie było dokładnie takie.

Jaka jest odpowiedź bramki "i"(*) (u ziemian bramki AND) dla funkcji logicznej:
~Y=p*~q
na dwie jedynki ustawione na jej wejściach czyli na:
p=1 i ~q=1

Masz Irbisolu dwie możliwe odpowiedzi:
~Y=1
albo
~Y=0

Proszę o wybór jednej z nich.
Jeśli to ma być matematyka a nie "matematyka" to nie masz prawa podpinać tu ŻADNYCH przykładów ze świata fizyki, czyli żadnych przykładów z języka mówionego człowieka.

Tak więc proszę o nie wypieranie się swojego własnego pytania, bo było to pytanie dokładnie jak wyżej.
Jeśli twierdzisz że nie, to powtórz precyzyjnie to swoje pytanie.

Wszyscy czekamy na nie z niecierpliwością!


Ostatnio zmieniony przez rafal3006 dnia Nie 17:23, 16 Wrz 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
fiklit




Dołączył: 24 Wrz 2012
Posty: 4197
Przeczytał: 0 tematów


Płeć: Mężczyzna

PostWysłany: Nie 18:55, 16 Wrz 2018    Temat postu:

Cytat:
Wszyscy czekamy na nie z niecierpliwością!


Cytat:
Jak zwykle wszystko jest odwrotnie niż myślisz:



Wszyscy czekają na twoją odpowiedź.[/quote]
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Nie 19:46, 16 Wrz 2018    Temat postu:

fiklit napisał:
Cytat:
Wszyscy czekamy na nie z niecierpliwością!


Cytat:
Jak zwykle wszystko jest odwrotnie niż myślisz:



Wszyscy czekają na twoją odpowiedź.

Problem w tym że ja nie wiem na jakie pytanie mam odpowiedzieć.

Pytanie Irbisola było takie:
Co zwróci spójnik "i"(*) (u ziemian bramka AND) gdy na jego wejściu podamy dwie jedynki:
1*1 =>?
Na to pytanie odpowiedziałem wyżej.
Jeśli pytanie Irbisola było inne to proszę go by jasno je powtórzył.

Wszyscy czekamy na to z niecierpliwością!

P.S.
Uważaj Irbisolu:
Jeśli to ma być matematyka a nie "matematyka" to nie masz prawa podpinać tu ŻADNYCH przykładów ze świata fizyki, czyli żadnych przykładów z języka mówionego człowieka.


Ostatnio zmieniony przez rafal3006 dnia Nie 20:00, 16 Wrz 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
idiota




Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów

Skąd: stolnica

PostWysłany: Nie 23:34, 16 Wrz 2018    Temat postu:

"Wszyscy czekamy na nie z niecierpliwością!"

Kłamczuch.

"Problem w tym że ja nie wiem na jakie pytanie mam odpowiedzieć. "

Robisz co możesz, żeby nie wiedzieć.


Ostatnio zmieniony przez idiota dnia Nie 23:42, 16 Wrz 2018, w całości zmieniany 2 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14105
Przeczytał: 31 tematów


PostWysłany: Pon 9:58, 17 Wrz 2018    Temat postu:

rafal3006 napisał:
Pytanie Irbisola było takie:
Co zwróci spójnik "i"(*) (u ziemian bramka AND) gdy na jego wejściu podamy dwie jedynki:
1*1 =>?
Na to pytanie odpowiedziałem wyżej.

Zaznaczyłeś też, że dla innych rodzajów jedynek odpowiedź będzie inna.
Przedstaw więc tabelkę z rodzajami jedynek i odpowiedziami bramki AND w zależności od tych rodzajów.
Lubisz przecież tabelki.
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 32593
Przeczytał: 41 tematów

Skąd: z innego Wszechświata
Płeć: Mężczyzna

PostWysłany: Pon 10:41, 17 Wrz 2018    Temat postu:

Problem miękkich jedynek w dowolnym równaniu logicznym!
Omówienie zagadnienia.

Irbisol napisał:
rafal3006 napisał:
Pytanie Irbisola było takie:
Co zwróci spójnik "i"(*) (u ziemian bramka AND) gdy na jego wejściu podamy dwie jedynki:
1*1 =>?
Na to pytanie odpowiedziałem wyżej.

Zaznaczyłeś też, że dla innych rodzajów jedynek odpowiedź będzie inna.
Przedstaw więc tabelkę z rodzajami jedynek i odpowiedziami bramki AND w zależności od tych rodzajów.
Lubisz przecież tabelki.

Irbisolu, mamy taką funkcję logiczną:
1.
Y = A: p*q + C: ~p*~q
co w miękkich jedynkach oznacza:
Y=1 <=> A: p=1 i q=1 lub C: ~p=1 i ~q=1
Definicja miękkiej jedynki dotyczy wyłącznie zmiennej binarnej.
W powyższym równaniu:
p=1 - w pewnej chwili czasowej zmienna p może być ustawiona na 1, ale nie musi (wtedy będzie p=0)

Funkcję tą możemy zapisać jako sumę logiczną funkcji cząstkowych:
Y = Ya + Yc
Budowa funkcji cząstkowych Ya i Yc jest oczywiście taka:
A.
Ya=p*q
co w logice miękkich jedynek oznacza:
Ya=1 <=> p=1 i q=1
C.
Yc=~p*~q
co w logice miękkich jedynek oznacza:
Yc=1 <=> ~p=1 i ~q=1

Dlaczego wszędzie wyżej mamy do czynienia z miękkimi jedynkami?
Odpowiadam:
Symbole p i q to zmienne binarne które w osi czasu mogą przyjmować dowolne wartości logiczne.

Załóżmy, że w chwili czasowej Ta zajdzie:
Ya = p*q =1*1 =1
Co w logice twardych jedynek (bo to zaszło!) oznacza:
p=1 i q=1
Prawo Prosiaczka:
(p=1)=(~p=0)
(q=1)=(~q=0)
Stąd w chwili czasowej Ta nasze równanie ulega determinacji do spójnika "i"(*).
Mamy oryginalne równanie:
1.
Y = A: p*q + C: ~p*~q := A: p*q
bo:
Podstawiamy wartości logiczne dla chwili Ta:
Y = A: 1*1 + C: 0*0 =1
Doskonale widać, że w chwili Ta równanie logiczne Ya przyjmie wartość logiczną:
Ya=p*q=1*1=1
natomiast równanie Yc przyjmie wartość logiczną:
Yc=~p*~q =0*0 =0

Załóżmy, że w chwili czasowej Tc zajdzie:
Yc = ~p*~q =1*1 =1
Co w logice twardych jedynek (bo to zaszło!) oznacza:
~p=1 i ~q=1
Prawo Prosiaczka:
(~p=1)=(p=0)
(~q=1)=(q=0)
Stąd w chwili czasowej Tc nasze równanie ulega determinacji do spójnika "i"(*).
Mamy oryginalne równanie:
1.
Y = A: p*q + C: ~p*~q := C: ~p*~q
bo:
Podstawiamy wartości logiczne dla chwili Tc.
Y = A: 0*0 + C: 1*1 =1
Doskonale widać, że w chwili Tc równanie logiczne Yc przyjmie wartość logiczną:
Yc=~p*~q=1*1=1
natomiast równanie Ya przyjmie wartość logiczną:
Ya=p*q =0*0 =0

Mam nadzieję że wszyscy zrozumieli do oznacza termin „miękkie jedynki” w oryginalnej funkcji logicznej:
1.
Y = A: p*q + C: ~p*~q
co w miękkich jedynkach oznacza:
Y=1 <=> A: p=1 i q=1 lub C: ~p=1 i ~q=1

Zbudujmy tabelkę dla funkcji cząstkowej:
Yc=~p*~q
co w logice miękkich jedynek oznacza:
Yc=1 <=> ~p=1 i ~q=1
Kod:

  ~p ~q Yc=~p*~q
A: 1  1  1
B: 1  0  0
C: 0  1  0
D: 0  0  0

Pytanie do Irbisola:
Jaka jest odpowiedź bramki „i”(*) (u ziemian AND) opisującej funkcję logiczną:
Yc=~p*~q
gdy ustawimy na jej wejściach dwie jedynki:
~p=1 i ~q=1
Czy potrafisz odpowiedzieć na to pytanie?

Czy wszyscy zrozumieli?
Jeśli nie to proszę pytać


Ostatnio zmieniony przez rafal3006 dnia Pon 10:50, 17 Wrz 2018, w całości zmieniany 3 razy
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 14105
Przeczytał: 31 tematów


PostWysłany: Pon 11:31, 17 Wrz 2018    Temat postu:

rafal3006 napisał:
Irbisol napisał:
Zaznaczyłeś też, że dla innych rodzajów jedynek odpowiedź będzie inna.
Przedstaw więc tabelkę z rodzajami jedynek i odpowiedziami bramki AND w zależności od tych rodzajów.
Lubisz przecież tabelki.

Irbisolu, mamy taką funkcję logiczną:
1.
Y = A: p*q + C: ~p*~q

To sobie miejcie.

Odpowiedz na pytanie.
Powrót do góry
Zobacz profil autora
Wyświetl posty z ostatnich:   
Napisz nowy temat   Odpowiedz do tematu    Forum ŚFiNiA Strona Główna -> Metodologia / Forum Kubusia Wszystkie czasy w strefie CET (Europa)
Idź do strony Poprzedni  1, 2, 3 ... 28, 29, 30 ... 64, 65, 66  Następny
Strona 29 z 66

 
Skocz do:  
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach

fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
Regulamin