|
Ś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.
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa Płeć: Mężczyzna
|
Wysłany: Czw 10:48, 14 Gru 2017 Temat postu: |
|
|
No tak ja bym sądził, ale rafal3006 widać mówi innym polskim...
Nie pierwszy raz zresztą, kiedy przekręca czyjś nick.
|
|
Powrót do góry |
|
|
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Czw 22:50, 14 Gru 2017 Temat postu: |
|
|
Wypowiedział się Irbisol, będzie Irbisolu - koniec.
... a teraz idę spać, bo nockę zarwałem.
Ostatnio zmieniony przez rafal3006 dnia Czw 22:52, 14 Gru 2017, w całości zmieniany 1 raz
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 7:37, 16 Gru 2017 Temat postu: |
|
|
Humorystyczny przerywnik z tutejszego krzyknika
Pytanie do Fizyka (tutejszego TAZa), admina ateisty.pl:
Czy na swoim forum zniósłbyś humor na swój temat typu „głupkowaty Fizyk” etc
Odpowiem za ciebie: NIE!
Dokładnie to różni nasze wolne forum śfinia, od wszelkich forów zamordystycznych na naszej ziemi gdzie nie ma wolności słowa i wszyscy użytkownicy muszą gdakać tak jak kura naczelna (np. Fizyk) to sobie wyobraża.
Wpisy należy czytać od końca, zgodnie z harmonogramem czasowym.
Aktorzy:
Piotruś = shirei Gendo Ikari
Krowa = prof. Gniedoszyi
JL: Janellel
Kubuś:
Jak wszyscy widzą do miana teorii wszystkiego aspirują co najmniej trzy teorie: Piotrusia, Krowy i Kubusia.
Oczywistym jest że tylko jedna z nich może być prawdziwa i oczywistym jest że jest to teoria wszystkiego Kubusia
Today at 07:24
Kubuś:
Poprawną teorią wszystkiego jest algebra Kubusia, która ma zakodowaną matematycznie "wolną wolę" z czego wynika że nawet Bóg nie jest w stanie przewidzieć jak zachowa się w przyszłości człowiek - tylko i wyłącznie dlatego nagroda (niebo) i kara (piekło) mają sens.
Today at 07:23
Kubuś:
Możesz zatem Piotrusiu, swoją teorię wszystkiego między bajki włożyć.
Today at 07:19
Kubuś:
Jak wiemy wszystko to nie mamy wolnej woli.
Bóg filozofów który wie wszystko od minus do plus nieskończoności to marionetka pozbawiona wolnej woli - na pewno nie on stworzył nasz Wszechświat.
Today at 07:16
prof Gniedoszyi:
.....jeśli już wiemy za "krową" że Wszystko jest Niczym, o czymże tedy rozwodzić się? Chyba tylko pokłonić onemu "krowie" choćby i w stajni ubogiej.
Today at 07:15
prof Gniedoszyi:
Hipotezę Wszystkiego wyjaśnia RÓWNANIE "krowy" 0=1.
Mianowicie ten przedstawił był już, że WSZYSTKO jest równoznaczne z NICZYM. I tylko to jedno równanie można uznać za odkrywcze na tum słabym portalu filozoficznym.
Today at 06:08
shirei Gendo Ikari:
Zbóju, ty..wuju! Nie śpij, bo będzie nagły atak spawacza...
Today at 06:01
shirei Gendo Ikari:
Ech!.. Pokój wam wszystkim! A raczej cela bez klamek i o miękkich ścianach.
15/12/2017 20:19
JL:
a bal jest dla lal
15/12/2017 20:18
JL:
pierdu pierdu ..będzie wiosna, będzie sobie trawka rosła ....
15/12/2017 20:06
shirei Gendo Ikari:
Dobra... Przeżyję i ten "nagły atak spawacza", bez spawacza.
15/12/2017 20:03
shirei Gendo Ikari:
Takie odzewy, to jakby krowa pierdziała...
15/12/2017 19:45
JL:
AJ! AJ! ....SIR
15/12/2017 19:45
krowa:
W TEORII WSZYSTKIEGO mieści się oczywiście pastowanie butów wujowych.
15/12/2017 16:05
shirei Gendo Ikari:
No, i co "gamonie"?! Zero odzewu?? KOMANDOROWI GENDO IKARI'EMU ODPOWIADA SIE: "AYE-AYE SIR!". BACZNOŚĆ ŚFINIAKI!
15/12/2017 11:48
shirei Gendo Ikari:
UPRASZA SIĘ WUJAZBOJA, JANELLEL., BANJANKRI'EGO, BŁAŻEJA, MICHAŁA DYSZYŃSKIEGO I MOŻE JESZCZE PARĘ OSÓB O "ZWARCIE SZEREGÓW" I WSPOMOŻENIE PIOTRA ROKUBUNGI'EGO W KONSTRUKTYWNEJ KRYTYCE I ROZWOJU HIPOTEZY WSZYSTKIEGO! Pan z wami! (Pan, czyli dowódca Gendo Ikari.)
15/12/2017 01:59
shirei Gendo Ikari:
Gumiś się soku z gumijagód nachlał i majaczy, jak fadersaker!
15/12/2017 01:37
Kubuś:
Algebra Kubusia to co innego - wkrótce wszyscy matematycy świata będą piać z zachwytu nad jej genialnością
13/12/2017 19:03
Kubuś:
Piotrusiu, masz nadzieję że Wuj da sobie wyprać mózg twoją teorią wszystkiego?
13/12/2017 16:03
JL:
Mózgołamacz Rokubungi
13/12/2017 16:00
shirei Gendo Ikari:
A jednak "dobry wujaszek" [chociaż zbój] nie "uciekł" i odpisał mi nawet tak późną porą. Ale ja jemu już nie odpowiem teraz, lecz dopiero..dzisiaj- i to tylko chyba dziś. P. s.: Dziękuję Jarosławie, że łamiesz sobie łepetynę" na moich tekstach również.
13/12/2017 15:22
shirei Gendo Ikari:
Wlazł naczelny, namieszał i..uciekł znowu. Nawet już mu się nie chce czytać moich genialnych tekstów, bo go łepetyna od tego boli i okulary się "przegrzewają"... KIEDY JAROSŁAWIE DOROSNIESZ DO HIPOTEZY WSZYSTKIEGO?!
13/12/2017 02:34
shirei Gendo Ikari:
Gdzie jest głupolkowata sfinia naczelna?! Chyba znowu się ukrywa, bo zbyt trudne kwestie i pytania mu zadałem. Na innych forumowiczów, to już od dawna raczej nie mam co liczyć, bo większość z nich jest trzy drabiny niżej ode mnie w ewolucji umysłu...
13/12/2017 01:58
Ostatnio zmieniony przez rafal3006 dnia Sob 10:34, 16 Gru 2017, w całości zmieniany 4 razy
|
|
Powrót do góry |
|
|
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
|
Wysłany: Sob 10:07, 16 Gru 2017 Temat postu: |
|
|
To mnie przekonało. Skasowałbym logikę ziemian ale nie mogę znaleźć przycisku.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15452
Przeczytał: 25 tematów
|
Wysłany: Sob 14:44, 16 Gru 2017 Temat postu: |
|
|
Przypominam, że masz 3 tematy do wyjaśnienia, gdzie wykazałem, że pomyliłeś się niczym logiczny analfabeta.
Z moim komentarzem, że nawet nie ogarniasz tego faktu. To się jakby sprawdza.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Sob 22:26, 16 Gru 2017 Temat postu: |
|
|
Irbisol napisał: | Przypominam, że masz 3 tematy do wyjaśnienia, gdzie wykazałem, że pomyliłeś się niczym logiczny analfabeta.
Z moim komentarzem, że nawet nie ogarniasz tego faktu. To się jakby sprawdza. |
Spokojnie Irbisolu, jutro kur zapieje ci po raz pierwszy ...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Nie 23:42, 17 Gru 2017 Temat postu: |
|
|
Metody tworzenia równań logicznych z tabel zero-jedynkowych
Uwaga!
Ten post to krystalicznie czysta matematyka z zerowym odniesieniem do jakichkolwiek zdań z języka mówionego człowieka.
Wszelkie głupoty ziemskich matematyków w rodzaju: zdanie, zdanie prawdziwe/fałszywe wywalamy tu w kosmos!
Spis treści
1.0 Definicje podstawowe: 1
2.0 Metody tworzenia równań logicznych z tabel zero-jedynkowych 2
2.1 Pełna metoda mintermów i makstermów 3
2.2 Uproszczona metoda mintermów i makstermów 6
1.0 Definicje podstawowe:
Układ cyfrowy:
Układ cyfrowy to obiekt fizyczny w którym występują wyłącznie dwa stany (cyfry binarne) 0 i 1
W elektronice najpopularniejsza interpretacja fizyczna stanów 0 i 1 to technika TTL gdzie cyfrom binarnym 0 i 1 odpowiadają napięcia:
1 = H (high) = 2,4-5,0V
0 = L (low) = 0,0-0,4V
Bramka logiczna:
Bramka logiczna to układ cyfrowy o n wejściach (p,q,r..) i tylko jednym wyjściu Y na którym pojawia się zawsze ten sam stan 0 albo 1 dla tych samych wymuszeń na wejściach (p,q,r..)
Tabela prawdy bramki logicznej:
Tabela prawdy bramki logicznej to zapis wszystkich możliwych wymuszeń na wejściach (p,q,r..) wraz z odpowiedzią na jej wyjściu Y
Tabela prawdy definiuje matematycznie dowolną bramkę logiczną.
Kod: |
Przykład tabeli prawdy bramki logicznej:
p q Y
A: 1 1 =1
B: 1 0 =0
C: 0 1 =0
D: 0 0 =1
Kolejność zapisanych wierszy i kolumn jest nieistotna
|
Pełna tabela prawdy bramki logicznej:
Pełna tabela prawdy bramki logicznej zawiera wszystkie możliwe sygnały na wejściach i wyjściu wraz z ich zaprzeczeniami.
Kod: |
Przykład pełnej tabeli prawdy bramki logicznej:
p q ~p ~q Y ~Y
A: 1 1 0 0 =1 =0
B: 1 0 0 1 =0 =1
C: 0 1 1 0 =0 =1
D: 0 0 1 1 =1 =0
Kolejność zapisanych wierszy i kolumn jest nieistotna
|
Uzasadnienie:
Jest fizycznie niemożliwe, abyśmy znając sygnał niezanegowany p nie znali sygnału zanegowanego ~p.
Wynika to z ogólnego prawa rozpoznawalności pojęcia p.
Prawo rozpoznawalności pojęcia p:
Pojęcie p jest rozpoznawalne wtedy i tylko wtedy gdy rozpoznawalne jest pojęcie ~p
p<=>~p = (p=>~p)*(~p=>p)
Dowód abstrakcyjny:
Wyobraźmy sobie że żyjemy we Wszechświecie i idealnej temperaturze:
t=const
W takim Wszechświecie nie istnieją pojęcia „ciepło” „zimno” bo nie możemy zmierzyć choćby najmniejszej różnicy temperatur.
Definicja spójnika „i”(*) z naturalnej logiki matematycznej człowieka:
Kod: |
p q Y=p*q
A: 1 1 =1
B: 1 0 =0
C: 0 1 =0
D: 0 0 =0
1 2 3
Definicja spójnika „i”(*):
Y=1<=>p=1 i q=1
co doskonale widać w powyższej tabeli prawdy
Obszar BCD123 to uzupełnienie tabeli prawdy dla potrzeb rachunku zero-jedynkowego.
|
Definicja spójnika „lub”(+) z naturalnej logiki matematycznej człowieka:
Kod: |
p q Y=p+q
A: 1 1 =1
B: 1 0 =1
C: 0 1 =1
D: 0 0 =0
Definicja spójnika „lub”(+):
Y=1<=>p=1 lub q=1
co doskonale widać w powyższej tabeli prawdy
Linia D123 to uzupełnienie tabeli prawdy dla potrzeb rachunku zero-jedynkowego.
|
2.0 Metody tworzenia równań logicznych z tabel zero-jedynkowych
Matematycznie istnieją dwie równoważne metody tworzenia równań logicznych jednoznacznie opisujących dowolną tabelę zero-jedynkową
Metoda mintermów:
W metodzie mintermów opisujemy wyłącznie jedynki w kompletnej tabeli zero-jedynkowej uwzględniającej wszystkie sygnały niezanegowane i zanegowane.
W poziomach używamy spójnika „i”(*) tworząc funkcje cząstkowe, które łączmy spójnikiem „lub”(+) dla identycznych wartości wyjścia (Y lub ~Y)
Domyślną wartością logiczną w mintermach są jedynki które możemy pominąć otrzymując jednoznaczne równanie logiczne opisujące tabelę zero-jedynkową.
Metoda mintermów tworzy równania alternatywno-koniunkcyjne (alternatywa koniunkcji) dla dowolnej tabeli zero-jedynkowej.
Metoda makstermów:
W metodzie makstermów opisujemy wyłącznie zera w kompletnej tabeli zero-jedynkowej uwzględniającej wszystkie sygnały niezanegowane i zanegowane.
W poziomach używamy spójnika „lub”(+) tworząc funkcje cząstkowe, które łączmy spójnikiem „i”(*) dla identycznych wartości wyjścia (Y lub ~Y)
Domyślną wartością logiczną w makstermach są zera które możemy pominąć otrzymując jednoznaczne równanie logiczne opisujące tabelę zero-jedynkową.
Metoda makstermów tworzy równania koniunkcyjno-alternatywne (koniunkcja alternatyw) dla dowolnej tabeli zero-jedynkowej.
2.1 Pełna metoda mintermów i makstermów
Metoda mintermów:
W metodzie mintermów otrzymujemy równania alternatywno-koniunkcyjne (alternatywa koniunkcji) dla dowolnej tabeli zero-jedynkowej.
Rozważmy przykładową tabelę zero-jedynkową:
Kod: |
Pełna tabela prawdy |Co w minetrmach |Funkcje cząstkowe
bramki logicznej |oznacza |w mintermach
p q ~p ~q Y ~Y | |
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 =1 =0 | Yd=1<=>~p=1 i ~q=1 | Yd=~p*~q
1 2 3 4 5 6 a b c d e f
|
Pełny opis dowolnej tabeli zero-jedynkowej to układ równań logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y).
Funkcję w logice dodatniej (bo Y) odczytujemy z tabeli mintermów ABCDdef:
1.
Y=Ya+Yd
Y = p*q + ~p*~q
Co matematycznie oznacza:
Y=1 <=> (p=1 i q=1) lub (~p=1 i ~q=1)
… a kiedy zajdzie ~Y?
Funkcję w logice ujemnej (bo ~Y) odczytujemy z tabeli mintermów ABCDdef:
2.
~Y=~Yb+~Yc
~Y = p*~q + ~p*q
co matematycznie oznacza:
~Y=1 <=> (p=1 i ~q=1) lub (~p=1 i q=1)
Zauważmy, że naszą tabelę zero-jedynkową jednoznacznie opisuje dowolne równanie wyżej, bowiem znając funkcję logiczną Y bez problemu wygenerujemy funkcję ~Y poprzez negację równania Y stronami (i odwrotnie).
Nasz przykład:
Y = (p*q)+(~p*~q)
Przechodzimy do logiki ujemnej (bo ~Y) metodą skróconą poprzez negację zmiennych i wymianę spójników na przeciwne:
~Y=(~p+~q)*(p+q)
~Y = ~p*p + ~p*q + ~q*p + ~q*q
~Y=p*~q + ~p*q
cnd
Metoda makstermów:
W metodzie makstermów otrzymujemy równania koniunkcyjno-alternatywne (koniunkcja alternatyw) dla dowolnej tabeli zero-jedynkowej.
Rozważmy dokładnie tą samą tabelę zero-jedynkową jak w powyższym przykładzie:
Kod: |
Pełna tabela prawdy |Co w makstermach |Funkcje cząstkowe
bramki logicznej |oznacza |w makstermach
p q ~p ~q Y ~Y | |
A: 1 1 0 0 =1 =0 |~Ya=0<=>~p=0 lub ~q=0 |~Ya=~p+~q
B: 1 0 0 1 =0 =1 | Yb=0<=>~p=0 lub q=0 | Yb=~p+ q
C: 0 1 1 0 =0 =1 | Yc=0<=> p=0 lub ~q=0 | Yc= p+~q
D: 0 0 1 1 =1 =0 |~Yd=0<=> p=0 lub q=0 |~Yd= p+ q
1 2 3 4 5 6 a b c d e f
|
Pełny opis dowolnej tabeli zero-jedynkowej to układ równań logicznych w logice dodatniej (bo Y) i ujemnej (bo ~Y).
Funkcję w logice dodatniej (bo Y) odczytujemy z tabeli makstermów ABCDdef:
3.
Y=Yb*Yc
Y = (~p+q)*(p+~q)
Co matematycznie oznacza:
Y=0 <=> (~p=0 lub q=0) i (p=0 lub ~q=0)
… a kiedy zajdzie ~Y?
Funkcję w logice ujemnej (bo ~Y) odczytujemy z tabeli makstermów ABCDdef:
4.
~Y=~Ya*~Yd
~Y = (~p+~q)*(p+q)
co matematycznie oznacza:
~Y=0 <=> (~p=0 lub ~q=0) i (p=0 lub q=0)
Zauważmy, że naszą tabelę zero-jedynkową jednoznacznie opisuje dowolne równanie wyżej, bowiem znając funkcję logiczną Y bez problemu wygenerujemy funkcję ~Y poprzez negację równania Y stronami (i odwrotnie).
Nasz przykład:
Y = (~p+q)*(p+~q)
Mnożymy wielomiany:
Y = ~p*p + ~p*~q + q*p + q*~q
Y = (p*q) + (~p*~q)
Przechodzimy do logiki ujemnej (bo ~Y) metodą skróconą poprzez negację zmiennych i wymianę spójników na przeciwne:
~Y = (~p+~q)*(p+q)
cnd
Matematycznie zachodzi:
1: (Y = p*q + ~p*~q) = 3: (Y = (~p+q)*(p+~q))
oraz:
2: (~Y = p*~q + ~p*q) = 4: (~Y = (~p+~q)*(p+q))
Prawo Kukułki:
Jeśli w tabeli zero-jedynkowej występuje więcej niż jedno wynikowe zero i więcej niż jedna wynikowa jedynka to dwie możliwe do zapisania funkcje alternatywno-koniunkcyjne w logice dodatniej (bo Y) i ujemnej (bo ~Y) mają swoje tożsame odpowiedniki w postaci funkcji koniunkcyjno-alternatywnych.
Doskonale widać, ze prawo Kukułki będzie fałszywe jeśli w tabeli zero-jedynkowej będzie samotne wynikowe zero lub samotna wynikowa jedynka.
Przypadek 1
Samotna jedynka na wyjściu Y:
Kod: |
Definicja zero-jedynkowa |co w mintermach |Równanie cząstkowe
|oznacza |w mintermach
p q ~p ~q Y ~Y | |
A: 1 1 0 0 =1 =0 | Ya=1<=> p=1 i q=1 | Ya= p* q
B: 1 0 0 1 =0 =1 | |
C: 0 1 1 0 =0 =1 | |
D: 0 0 1 1 =0 =1 | |
1 2 3 4 5 6 | a b c d e f
|
W mintermach mamy:
Y=Ya - bo mamy samotną jedynkę na wyjściu Y
Stąd:
Y=p*q
co matematycznie oznacza:
Y=1 <=> p=1 i q=1
Oczywistym jest że równanie:
Y=p*q
nie jest równaniem alternatywno-koniunkcyjnym
cnd
Przypadek 2
Samotne zero na wyjściu Y:
Kod: |
Definicja zero-jedynkowa |co w makstermach |Równanie cząstkowe
|oznacza |w makstermach
p q ~p ~q Y ~Y | |
A: 1 1 0 0 =0 =1 | Ya=0<=>~p=0 lub ~q=0 | Ya=~p+~q
B: 1 0 0 1 =1 =0 | |
C: 0 1 1 0 =1 =0 | |
D: 0 0 1 1 =1 =0 | |
1 2 3 4 5 6 | a b c d e f
|
Y=Ya - bo mamy samotne zero na wyjściu Y
Stąd:
Y=~p+~q
co matematycznie oznacza:
Y=0 <=> ~p=0 lub ~q=0
Oczywistym jest, że równanie:
Y=~p+~q
nie jest równaniem koniunkcyjno-alternatywnym
cnd
2.2 Uproszczona metoda mintermów i makstermów
W uproszczonej metodzie mintermów i makstermów posługujemy się uproszczonymi definicjami bramek logicznych, gdzie uwzględniamy wyłącznie rzeczywiste sygnały dochodzące do bramki logicznej i jeden, rzeczywisty sygnał wyjściowy.
W tym przypadku przy tworzeniu równania logicznego opisującego tabelę zero-jedynkową korzystamy z praw Prosiaczka.
I Prawo Prosiaczka:
Prawda (=1) w logice dodatniej (bo p) jest tożsama z fałszem (=0) w logice ujemnej (bo ~p)
(p=1) = (~p=0)
II Prawo Prosiaczka:
Prawda (=1) w logice ujemnej (bo ~p) jest tożsama z fałszem (=0) w logice dodatniej (bo p)
(~p=1) = (p=0)
Uproszczona metoda mintermów:
Zapiszmy uproszczoną definicję naszej bramki logicznej w logice dodatniej (bo Y) uwzględniając wyłącznie sygnały wejściowe w logice dodatniej (p, q).
Kod: |
Uproszczona definicja
bramki logicznej.
p q Y
A: 1 1 =1
B: 1 0 =0
C: 0 1 =0
D: 0 0 =1
|
Dla dowolnej uproszczonej tabeli zero-jedynkowej funkcję logiczną w mintermach (równania alternatywno-koniunkcyjne) tworzymy w trzech krokach.
Krok 1
Opisujemy wynikowe jedynki w tabeli zero-jedynkowej zapisując dokładnie to co widzimy, stosując w wierszach spójnik „i”(*) natomiast w pionach spójnik „lub”(+):
Y=1 <=> A: p=1 i q=1 lub D: p=0 i q=0
Krok 2
Korzystając z prawa Prosiaczka:
(p=0) = (~p=1)
Sprowadzamy wszystkie zmienne do jedynek:
Y=1 <=> A: p=1 i q=1 lub D: ~p=1 i ~q=1
Krok 3
Jedynki w mintermach są domyśle, pomijamy je otrzymując poprawne równanie alternatywno-koniunkcyjne opisujące nasza tabelę
Y = A: p*q + D: ~p*~q
co matematycznie oznacza:
Y=1 <=> A: p=1 i q=1 lub D: ~p=1 i ~q=1
Mając to jedno równanie z łatwością generujemy wszystkie pozostałe opisujące naszą tabelę:
1.
Y = p*q + ~p*~q
Przechodzimy do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
2.
~Y = (~p+~q)*(p+q)
3.
Wymnażamy wielomian:
~Y = ~p*p + ~p*q + ~q*p + ~q*q
~Y = (~p*q) + (p*~q)
4.
Powrót do logiki dodatniej (bo Y) poprzez negację zmiennych i wymianę spójników:
Y = (p+~q)*(~p+q)
Matematycznie zachodzi:
1: (Y = p*q + ~p*~q) = 4: (Y = (p+~q)*(~p+q))
oraz:
3: (~Y = ~p*q + p*~q) = 2: (~Y = (~p+~q)*(p+q))
Jak widzimy, wszystko jest tu zgodne z techniką mintermów i makstermów dla pełnego opisu bramki logicznej z uwzględnieniem sygnałów niezanegowanych (p,q,Y) i zanegowanych (~p,~q,~Y).
cnd
Uproszczona metoda makstermów:
Zapiszmy uproszczoną definicję naszej bramki logicznej w logice dodatniej (bo Y) uwzględniając wyłącznie sygnały wejściowe w logice dodatniej (p, q).
Kod: |
Uproszczona definicja
bramki logicznej.
p q Y
A: 1 1 =1
B: 1 0 =0
C: 0 1 =0
D: 0 0 =1
|
Dla dowolnej uproszczonej tabeli zero-jedynkowej funkcję logiczną w makstermach (równania koniunkcyjno-alternatywne) tworzymy w trzech krokach.
Krok 1
Opisujemy wynikowe zera w tabeli zero-jedynkowej zapisując dokładnie to co widzimy, stosując w wierszach spójnik „lub”(+) natomiast w pionach spójnik „i”(*):
Y=0 <=> B: (p=1 lub q=0) i C: (p=0 lub q=1)
Krok 2
Korzystając z prawa Prosiaczka:
(p=1) = (~p=0)
Sprowadzamy wszystkie zmienne do zera:
Y=0 <=> B: (~p=0 lub q=0) i C: (p=0 lub ~q=0)
Krok 3
Zera w makstermach są domyśle, pomijamy je otrzymując poprawne równanie koniunkcyjno-alternatywne opisujące nasza tabelę
Y = B: (~p+q)* C: (p+~q)
co matematycznie oznacza:
Y=0 <=> B: (~p=0 lub q=0) i C: (p=0 lub ~q=0)
Mając to jedno równanie z łatwością generujemy wszystkie pozostałe opisujące naszą tabelę:
1.
Y = (~p+q)*(p+~q)
2.
Przechodzimy do logiki ujemnej (bo Y) poprzez negację zmiennych i wymianę spójników:
~Y =p*~q + ~p*q
3.
Wymnażamy wielomiany w równaniu 1.
Y = (~p+q)*(p+~q)
Y = ~p*p + ~p*~q + q*p + q*~q
Y = (p*q) + (~p*~q)
4.
Przechodzimy do logiki ujemnej (bo Y) poprzez negację zmiennych i wymianę spójników:
~Y = (~p+~q)*(p+q)
Matematycznie zachodzi:
3: (Y=p*q+~p*~q) = 1: (Y = (~p+q)*(p+~q))
oraz:
2: (~Y =p*~q + ~p*q) = 4: (~Y = (~p+~q)*(p+q))
Matematyczne związki logiki dodatniej (bo Y) i ujemnej (bo ~Y):
I.
Y = ~(~Y)
Podstawiając 2 i 3 mamy:
Y = p*q + ~p*~q = ~(p*~q+~p*q)
II.
~Y = ~(Y)
Podstawiając 2 i 3 mamy:
~Y=p*~q+~p*q = ~(p*q+~p*~q)
Jak widzimy, wszystko jest tu zgodne z techniką mintermów i makstermów dla pełnego opisu bramki logicznej z uwzględnieniem sygnałów niezanegowanych (p,q,Y) i zanegowanych (~p,~q,~Y).
cnd
Porównajmy otrzymane równania w mintermach i makstermach:
Mintermy:
1: (Y = p*q + ~p*~q) = 4: (Y = (p+~q)*(~p+q))
oraz:
3: (~Y = ~p*q + p*~q) = 2: (~Y = (~p+~q)*(p+q))
Makstermy:
3: (Y=p*q+~p*~q) = 1: (Y = (~p+q)*(p+~q))
oraz:
2: (~Y =p*~q + ~p*q) = 4: (~Y = (~p+~q)*(p+q))
Doskonale widać, że jest bez znaczenia w jakiej technice będziemy tworzyć równania logiczne opisujące dowolna tabelę zero-jedynkową.
Oczywistym jest, że:
1.
Jeśli w tabeli zero-jedynkowej będzie mniej wynikowych jedynek to korzystniej jest zastosować technikę mintermów, bo otrzymamy prostsze równanie końcowe
2.
Jeśli w tabeli zero-jedynkowej będzie mniej wynikowych zer to korzystniej jest zastosować technikę makstermów, bo otrzymamy prostsze równanie końcowe
Przykład:
Niech będzie dana bramka logiczna 3-wejściowa o następującej tabeli prawdy:
Kod: |
p q r Y=?
A: 1 1 1 1
B: 1 1 0 1
C: 1 0 1 0
D: 1 0 0 1
E: 0 1 1 1
F: 0 1 0 0
G: 0 0 1 1
H: 0 0 0 1
|
Polecenie:
Zapisać wszystkie możliwe funkcje logiczne opisujące powyższą bramkę.
Rozwiązanie:
Doskonale widać, że mamy zdecydowanie mniej wynikowych zer, zatem korzystniej jest wybrać tu technikę makstermów.
Kod: |
p q r Y=? |
A: 1 1 1 1 |
B: 1 1 0 1 |
C: 1 0 1 0 | Yc=0<=>p=1 lub q=0 lub r=1
D: 1 0 0 1 |
E: 0 1 1 1 |
F: 0 1 0 0 | Yf=0<=>p=0 lub q=1 lub r=0
G: 0 0 1 1
H: 0 0 0 1
|
Krok 1
W technice makstermów mamy:
Y = Yc*Yf
Y=0<=>(p=1 lub q=0 lub r=1) i (p=0 lub q=1 lub r=0)
Krok 2
Korzystając z prawa Kubusia:
(p=1) = (~p=0)
sprowadzamy wszystkie zmienne do zera:
Y=0<=>(~p=0 lub q=0 lub ~r=0) i (p=0 lub ~q=0 lub r=0)
Krok 3
Zera w technice makstermów są domyślne, pomijamy je otrzymując równanie koniunkcyjno-alternatywne opisujące naszą tabelę:
Y = (~p+q+~r)*(p+~q+r)
co matematycznie oznacza:
Y=0<=>(~p=0 lub q=0 lub ~r=0) i (p=0 lub ~q=0 lub r=0)
Mając jedno poprawne równanie opisujące naszą tabelę, ławo generujemy wszystkie pozostałe.
1.
Y = (~p+q+~r)*(p+~q+r)
2.
Przechodzimy do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y=p*~q*r + ~p*q*~r
3.
Wymnażamy wielomian 1:
Y = (~p+q+~r)*(p+~q+r)
Y = ~p*p+~p*~q + ~p*r + q*p + q*~q + q*r + ~r*p + ~r*~q + ~r*r
Y = ~p*~q + ~p*r + p*q + q*r + p*~r+~q*~r
Uzupełniamy brakujące nawiasy:
Y = (~p*~q) + (~p*r) + (p*q) + (q*r) + (p*~r)+(~q*~r)
4.
Przejście do logiki ujemnej (bo ~Y) poprzez negację zmiennych i wymianę spójników:
~Y = (p+q)*(p+~r)*(~p+~q)*(~q+~r)*(~p+r)*(q+r)
Matematycznie zachodzi:
1: (Y = (~p+q+~r)*(p+~q+r)) = 3: (Y = (~p*~q) + (~p*r) + (p*q) + (q*r) + (p*~r)+(~q*~r))
oraz:
2: (~Y=p*~q*r + ~p*q*~r) = 4: (~Y = (p+q)*(p+~r)*(~p+~q)*(~q+~r)*(~p+r)*(q+r))
Oczywistym jest, że w przypadku fizycznej realizacji naszej funkcji logicznej wybierzemy równanie 1 albo 2, bo są to równania najprostsze.
Związki logiki dodatniej (bo Y) z logiką ujemną (bo ~Y):
Y = ~(~Y)
~Y = ~(Y)
W ogólnym przypadku równania 1 i 2 daje się minimalizować, nasze równania 1 i 2 wydają się być minimalne.
Nie zajmujemy się tu minimalizacją bowiem dla idei tworzenia wszystkich możliwych (czterech!) równań logicznych dla dowolnej tabeli zero-jedynkowej nie ma to znaczenia.
Zadanie dla masochistów:
Wyprowadzić dokładnie te same cztery równania korzystając z techniki mintermów.
Na 100% jest to możliwe, jednak trzeba być masochistą, by z tym walczyć.
Czy jest na tym forum jakiś masochista?
Może Irbisol, Fizyk lub Idiota?
Ostatnio zmieniony przez rafal3006 dnia Pon 8:28, 18 Gru 2017, w całości zmieniany 8 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15452
Przeczytał: 25 tematów
|
Wysłany: Pon 11:50, 18 Gru 2017 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | Przypominam, że masz 3 tematy do wyjaśnienia, gdzie wykazałem, że pomyliłeś się niczym logiczny analfabeta.
Z moim komentarzem, że nawet nie ogarniasz tego faktu. To się jakby sprawdza. |
Spokojnie Irbisolu, jutro kur zapieje ci po raz pierwszy ... |
Ale miałeś odpowiedzieć na pytania a nie zanudzać po raz kolejny tym samym.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Wto 18:52, 19 Gru 2017 Temat postu: |
|
|
"Zadanie dla masochistów:"
Przeczytać co wygenerował rafał.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Wto 19:22, 19 Gru 2017 Temat postu: |
|
|
Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Przypominam, że masz 3 tematy do wyjaśnienia, gdzie wykazałem, że pomyliłeś się niczym logiczny analfabeta.
Z moim komentarzem, że nawet nie ogarniasz tego faktu. To się jakby sprawdza. |
Spokojnie Irbisolu, jutro kur zapieje ci po raz pierwszy ... |
Ale miałeś odpowiedzieć na pytania a nie zanudzać po raz kolejny tym samym. |
Kulą w płot bo mój post wyżej jest nowością w algebrze Kubusia.
Matematycy potwornie się męczą nad wyznaczeniem postaci koniunkcyjno-alternatywnej tożsamej z postacią alternatywno-koniunkcyjną i odwrotnie.
Tymczasem algorytm jest tu banalny - jak wyżej.
idiota napisał: | "Zadanie dla masochistów:"
Przeczytać co wygenerował rafał. |
Ręce opadają Idioto, ty na prawdę nie kumasz absolutnych banałów matematycznych w moim poście wyżej?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15452
Przeczytał: 25 tematów
|
Wysłany: Wto 19:42, 19 Gru 2017 Temat postu: |
|
|
rafal3006 napisał: | Irbisol napisał: | rafal3006 napisał: | Irbisol napisał: | Przypominam, że masz 3 tematy do wyjaśnienia, gdzie wykazałem, że pomyliłeś się niczym logiczny analfabeta.
Z moim komentarzem, że nawet nie ogarniasz tego faktu. To się jakby sprawdza. |
Spokojnie Irbisolu, jutro kur zapieje ci po raz pierwszy ... |
Ale miałeś odpowiedzieć na pytania a nie zanudzać po raz kolejny tym samym. |
Kulą w płot bo mój post wyżej jest nowością w algebrze Kubusia. |
Ale nie jest nowością, że pierniczysz nie na temat, zamiast odpowiedzieć na pytanie.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Wto 22:49, 19 Gru 2017 Temat postu: |
|
|
W sumie tu nikogo ta algebra nie interesuje, bo już tu wiemy wszyscy poza tobą,że to humbug.
Wartościowe jest rozbieranie twoich nieumiejętności zrozumienia co to w ogóle jest nauka formalna albo logika, co pokazujesz nam na przykładach swojego rozumowania.
Tym się zajmij zatem.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa Płeć: Mężczyzna
|
Wysłany: Śro 3:57, 20 Gru 2017 Temat postu: |
|
|
Rafał się tak powtarza w tych postach, że można by było wpuścić jego posty w prosty program typu machine learning i zastąpić go automatem.
W sumie chyba spróbuję to zrobić, będzie wesoło.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 5:31, 20 Gru 2017 Temat postu: |
|
|
idiota napisał: | W sumie tu nikogo ta algebra nie interesuje, bo już tu wiemy wszyscy poza tobą,że to humbug.
Wartościowe jest rozbieranie twoich nieumiejętności zrozumienia co to w ogóle jest nauka formalna albo logika, co pokazujesz nam na przykładach swojego rozumowania.
Tym się zajmij zatem. |
Taaa... to czemu chodzisz za Kubusiem krok w krok od 11 lat?
Taz napisał: | Rafał się tak powtarza w tych postach, że można by było wpuścić jego posty w prosty program typu machine learning i zastąpić go automatem.
W sumie chyba spróbuję to zrobić, będzie wesoło. |
Taaa.. no to dawaj, tylko zrób to w oddzielnym temacie, proszę.
Niech się prawdziwi matematycy pośmieją - z twojej głupoty oczywiście.
Ostatnio zmieniony przez rafal3006 dnia Śro 5:36, 20 Gru 2017, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8816
Przeczytał: 22 tematy
|
Wysłany: Śro 6:26, 20 Gru 2017 Temat postu: |
|
|
Cytat: | Taaa... to czemu chodzisz za Kubusiem krok w krok od 11 lat? |
rafał, może z tego samego powodu co Ty chodzisz od 11 lat po forach, może chce Ci powiedzieć to samo co Ty jemu
może to trochę tak jakbyś proponował metodę dodawania, odejmowania, mnożenia .... pisemnego (nie jestem pewien jak to się nazywało) twierdząc, że zastępujesz w ten sposób dotychczasową algebrę, w szczególności tabliczkę mnożenia, bo wszystko, co nie jest metodą dodawania, ... pisemnego nie jest prawdziwą algebrą
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 6:44, 20 Gru 2017 Temat postu: |
|
|
lucek napisał: | Cytat: | Taaa... to czemu chodzisz za Kubusiem krok w krok od 11 lat? |
rafał, może z tego samego powodu co Ty chodzisz od 11 lat po forach, może chce Ci powiedzieć to samo co Ty jemu
może to trochę tak jakbyś proponował metodę dodawania, odejmowania, mnożenia .... pisemnego (nie jestem pewien jak to się nazywało) twierdząc, że zastępujesz w ten sposób dotychczasową algebrę, w szczególności tabliczkę mnożenia, bo wszystko, co nie jest metodą dodawania, ... pisemnego nie jest prawdziwą algebrą |
Biedni ziemscy matematycy od siedmiu bolości typu: Idiota, Fizyk i Lucek.
Przyjmijcie moje najszczersze wyrazy współczucia z powodu iż w ziemskich szkółkach wyprano wam mózgi tak totalnie, że nie jesteście w stanie pojąć (póki co) absolutnie wspaniałej logiki matematycznej, którą perfekcyjnie posługuje się każdy 5-cio latek.
Każdy zna perfekcyjnie algebrę Kubusia, matematycy od siedmiu boleści także - pewne jest zatem że ich mózgi da się wrzucić do parlki automatycznej która wypierze je z brudów zwanych "wszelkiej maści logiki formalne", po czym zaszczepić w nich wspaniałą logike matematyczną wszystkich 5-cio latków.
Świat wróci wtedy z wariatkowa do normalności.
Współczesna logika "matematyczna" to zakład zamknięty bez klamek, z czego wielu matematyków zdaje sobie sprawę np. dr. Marek Kordas
[link widoczny dla zalogowanych]
dr. Marek Kordas w powyższym linku napisał: |
Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą.
Oczywiście, zdanie to jest prawdziwe, ale czy ma sens? Przecież między pewnym faktem arytmetycznym a innym faktem geograficznym żadnego związku nie ma. Dlaczego więc chcemy twierdzić (ba, uczyć tego), że te dwa zdania są równoważne?
Albo zdanie:
Jeśli dwa plus dwa jest równe pięć, to zachodzi twierdzenie Pitagorasa.
Z punktu widzenia logiki to zdanie jest prawdziwe. Tu już po obu stronach implikacji są zdania dotyczące faktów matematycznych. Dlaczego jednak chcemy zmusić młodego człowieka, by widział w tym sens?
.. .. ..
Powstają dwa pytania.
Po pierwsze, czemu logika została tak skonstruowana, że – abstrahując od sensu – okalecza pojęciowy świat?
Po drugie, czy faktycznie należy trzymać ją jak najdalej od młodzieży, bo tylko ją demoralizuje, każąc za wiedzę uważać takie androny, jak przytoczone powyżej?
.. .. ..
Ale naprawdę chodzi o to, że – jak z małżeństwem i demokracją – lepszej propozycji dotąd nie wynaleziono. A szkoda. |
Ostatnio zmieniony przez rafal3006 dnia Śro 6:47, 20 Gru 2017, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
lucek
Dołączył: 18 Lut 2011
Posty: 8816
Przeczytał: 22 tematy
|
Wysłany: Śro 7:11, 20 Gru 2017 Temat postu: |
|
|
Cytat: | Dwa plus dwa równa się cztery wtedy i tylko wtedy, gdy Płock leży nad Wisłą. |
5 jabłek to nie to samo co 5 gruszek, ale jabłek i gruszek jest tyle samo ... wszystko zależ od interpretacji i przestrzeni w jakiej operujesz ... zawsze możesz uznać stwierdzenie za nonsensowne i nie próbować zrozumieć, lub sensowne i próbować zrozumieć, lub i tak jest najczęściej nie interesować się tym wcale
czy masz rację czy nie - nie wiem ... a to co napisałem to moje intuicje, wynikające z tego co widzę z twoich dyskusji na forum ...
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Śro 8:23, 20 Gru 2017 Temat postu: |
|
|
"Taaa... to czemu chodzisz za Kubusiem krok w krok od 11 lat? "
Dokąd niby?
I nawet jeśli, to nie wynika z tego, że twoje brednie o logice mnie interesują.
Jesteś na tyle durny, że nawet tego nie umiesz pojąć?
Czy może na tyle zaślepiony???
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Irbisol
Dołączył: 06 Gru 2005
Posty: 15452
Przeczytał: 25 tematów
|
Wysłany: Śro 9:54, 20 Gru 2017 Temat postu: |
|
|
3 zaległe pytania - przypominam.
Taki z ciebie niby geniusz, a nie potrafisz sobie z nimi poradzić?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 10:27, 20 Gru 2017 Temat postu: |
|
|
Irbisol napisał: | 3 zaległe pytania - przypominam.
Taki z ciebie niby geniusz, a nie potrafisz sobie z nimi poradzić? |
Spoko Irbisolu dostaniesz odpowiedź po kolei na wszystkie pytania - jestem przekonany że wszystkie odpowiedzi zrozumiesz i zaakceptujesz.
Warunkiem koniecznym (abyś zrozumiał) jest opublikowanie "Algebry Kubusia dla matematyków".
Początek tej algebry jest w tym poście:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-2275.html#354729
Doszedłem do wniosku, że nie ma sensu zakładać (jak chciałem to do tej pory) że czytelnik AK jest uczniem I klasy LO i nie ma pojęcia o niczym z algebry Boole'a.
Owszem, taki podręcznik sukcesywnie powstaje i powstanie.
Przedtem jednak będzie AK dla matematyków - w tym momencie zakładam że podstawową algebrę Boole'a w zakresie choćby minimalizacji funkcji logicznych zna każdy zawodowy matematyk.
Z tego założenia wynika oczywiście że każdy zawodowy matematyk bez problemy zrozumie poczatek podręcznika specjalnie dla niego tworzonego:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-2275.html#354729
... a jak nie rozmie to jest Idiotą albo Fizykiem.
Ostatnio zmieniony przez rafal3006 dnia Śro 10:31, 20 Gru 2017, w całości zmieniany 2 razy
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Śro 13:17, 20 Gru 2017 Temat postu: |
|
|
"Spoko Irbisolu dostaniesz odpowiedź po kolei na wszystkie pytania"
Doskonały dowcip.
Ty w ogóle nie czujesz oporu przed kłamaniem, czy tego nie dostrzegasz?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 13:32, 20 Gru 2017 Temat postu: |
|
|
idiota napisał: | "Spoko Irbisolu dostaniesz odpowiedź po kolei na wszystkie pytania"
Doskonały dowcip.
Ty w ogóle nie czujesz oporu przed kłamaniem, czy tego nie dostrzegasz? |
Dowcipem są wszystkie twoje posty Idioto, co do jednego - bo oczekujesz że będę gdakał tak jak to ciebie wyuczyli w nieszczęsnych, ziemskich szkółkach.
Czy zgadzasz się z tym wytłuszczonym?
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
Taz
Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów
Skąd: Warszawa Płeć: Mężczyzna
|
Wysłany: Śro 16:13, 20 Gru 2017 Temat postu: |
|
|
Ale my już wiemy, jak te "odpowiedzi" będą wyglądały. To będzie sama papka o łapach psów i pogodzie, prawach postaci ze Stumilowego Lasu i dużo Y, p, q, 0 i 1 w nonsensownych konfiguracjach.
Podejrzewam, że mogę za wszystkich napisać, że czekamy na coś, czego nie widzieliśmy przez ostatnie 10-11 lat, ale ciągle nie możemy się doczekać.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
idiota
Dołączył: 10 Lut 2006
Posty: 3604
Przeczytał: 0 tematów
Skąd: stolnica
|
Wysłany: Śro 16:48, 20 Gru 2017 Temat postu: |
|
|
Na przykład odpowiedzi na pytania "Czy X?" w formie TAK albo NIE.
Ale to chyba za trudne.
|
|
Powrót do góry |
|
|
Zobacz poprzedni temat :: Zobacz następny temat |
Autor |
Wiadomość |
rafal3006
Opiekun Forum Kubusia
Dołączył: 30 Kwi 2006
Posty: 35517
Przeczytał: 14 tematów
Skąd: z innego Wszechświata Płeć: Mężczyzna
|
Wysłany: Śro 17:51, 20 Gru 2017 Temat postu: |
|
|
Taz napisał: | Ale my już wiemy, jak te "odpowiedzi" będą wyglądały. To będzie sama papka o łapach psów i pogodzie, prawach postaci ze Stumilowego Lasu i dużo Y, p, q, 0 i 1 w nonsensownych konfiguracjach.
Podejrzewam, że mogę za wszystkich napisać, że czekamy na coś, czego nie widzieliśmy przez ostatnie 10-11 lat, ale ciągle nie możemy się doczekać. |
Właśnie się doczekałeś, tu:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-2275.html#354729
rafal3006 napisał: | Doszedłem do wniosku, że nie ma sensu zakładać (jak chciałem to do tej pory) że czytelnik AK jest uczniem I klasy LO i nie ma pojęcia o niczym z algebry Boole'a.
Owszem, taki podręcznik sukcesywnie powstaje i powstanie.
Przedtem jednak będzie AK dla matematyków - w tym momencie zakładam że podstawową algebrę Boole'a w zakresie choćby minimalizacji funkcji logicznych zna każdy zawodowy matematyk.
Z tego założenia wynika oczywiście że każdy zawodowy matematyk bez problemy zrozumie poczatek podręcznika specjalnie dla niego tworzonego:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-2275.html#354729
... a jak nie zrozumie to jest Idiotą albo Fizykiem.
|
Powtórzę:
... a jak nie zrozumie to jest Idiotą albo Fizykiem.
Czy możecie Fizyku i Idioto jasno i wyraźnie napisać czy rozumiecie cokolwiek z początku algebry Kubusia dla matematyków?
Link do początku:
http://www.sfinia.fora.pl/forum-kubusia,12/czysto-matematyczne-obalenie-logiki-matematycznej-ziemian,9269-2275.html#354729
|
|
Powrót do góry |
|
|
|
|
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
|