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 

Czysto matematyczne obalenie logiki matematycznej ziemian
Idź do strony Poprzedni  1, 2, 3 ... 91, 92, 93 ... 136, 137, 138  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ść
Taz




Dołączył: 29 Mar 2012
Posty: 471
Przeczytał: 0 tematów

Skąd: Warszawa
Płeć: Mężczyzna

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysł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 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: 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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów


PostWysł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 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: Wto 18:52, 19 Gru 2017    Temat postu:

"Zadanie dla masochistów:"

Przeczytać co wygenerował rafał.
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: 35365
Przeczytał: 23 tematy

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

PostWysł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? :shock:
Powrót do góry
Zobacz profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów


PostWysł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 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: 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 profil autora
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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
lucek




Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów


PostWysłany: Śro 6:26, 20 Gru 2017    Temat postu:

Cytat:
Taaa... to czemu chodzisz za Kubusiem krok w krok od 11 lat?


:wink: 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 :mrgreen:


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ą :fight:
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: 35365
Przeczytał: 23 tematy

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

PostWysłany: Śro 6:44, 20 Gru 2017    Temat postu:

lucek napisał:
Cytat:
Taaa... to czemu chodzisz za Kubusiem krok w krok od 11 lat?

:wink: 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 :mrgreen:
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ą :fight:

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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
lucek




Dołączył: 18 Lut 2011
Posty: 8769
Przeczytał: 0 tematów


PostWysł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 :wink:

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 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: Ś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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
Irbisol




Dołączył: 06 Gru 2005
Posty: 15386
Przeczytał: 29 tematów


PostWysł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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysł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 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: Ś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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysł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.
rafal3006 napisał:

Z tego założenia wynika oczywiście że każdy zawodowy matematyk bez problemy zrozumie początek 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.

Czy zgadzasz się z tym wytłuszczonym?
Powrót do góry
Zobacz profil autora
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

PostWysł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 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: Ś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 profil autora
Zobacz poprzedni temat :: Zobacz następny temat  
Autor Wiadomość
rafal3006
Opiekun Forum Kubusia



Dołączył: 30 Kwi 2006
Posty: 35365
Przeczytał: 23 tematy

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

PostWysł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
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 ... 91, 92, 93 ... 136, 137, 138  Następny
Strona 92 z 138

 
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