Nie jesteś zalogowany.
Jeśli nie posiadasz konta, zarejestruj je już teraz! Pozwoli Ci ono w pełni korzystać z naszego serwisu. Spamerom dziękujemy!

Ogłoszenie

Prosimy o pomoc dla małej Julki — przekaż 1% podatku na Fundacji Dzieciom zdazyć z Pomocą.
Więcej informacji na dug.net.pl/pomagamy/.

#26  2012-10-12 21:16:00

  rychu - elektryk dyżurny

rychu
elektryk dyżurny
Skąd: gdańsk/kalmar
Zarejestrowany: 2004-12-28

Re: Sprawdzenie Stwierdzenia z Logiki - Matma Dyskretna

no tu jest oszybka, bo dysjunkcję oznacza się łamakiem "/", a nie rurą "|"

"/" - NAND = NOT AND - dysjunkcja (negacja koniunkcji)
"|" - OR - alternatywa

czyli powinieneś był napisać:

~p V q
~(p ^ ~q)  -- bo prawa de morgana
p / (~q) -- bo ~(p^q) = p/q , tzn. negacja koniunkcji = dysjunkcja
p / (q / q)  -- bo ~q = ~(q^q) = q/q (sprawdź tabelę prawdy)

na moim wydziale rozwiązywaliśmy takie zadanka używając nieco innych symboli (mnożenie to koniunkcja, dodawanie to alternatywa, negację oznacza się kreską u góry), i w bardziej praktycznym wymiarze, np. "posiadając tylko bramki NAND zrealizuj następującą funkcję..."


linux regd. user #248790

Offline

 

#27  2012-10-13 16:40:24

  sqrtek - Użytkownik

sqrtek
Użytkownik
Skąd: /bin/true
Zarejestrowany: 2012-06-14

Re: Sprawdzenie Stwierdzenia z Logiki - Matma Dyskretna

Hmmm ale te oznaczenia są dobre.. bo sam wykladowca nam je pisał...

Edit://

Alternatywe oznacza się( przynajmniej u mnie ) jako V.

Ostatnio edytowany przez sqrtek (2012-10-13 17:02:28)


"Nie pozwól by zgiełk opinii innych ludzi, zagłuszył Twój wewnętrzny głos" ~ Steve Jobs

Offline

 

#28  2012-10-13 17:07:17

  rychu - elektryk dyżurny

rychu
elektryk dyżurny
Skąd: gdańsk/kalmar
Zarejestrowany: 2004-12-28

Re: Sprawdzenie Stwierdzenia z Logiki - Matma Dyskretna

racja, rurą oznacza się alternatywę w bashu :P normalnie to jest "ptaszek w dół" albo "+" (suma logiczna). ale dysjunkcja na bank to łamak. zresztą każdy wykładowca po swojemu rysuje i jak chcesz zdać przedmiot to musisz się nauczyć nie tyle "logiki", co "logiki wg. pana doktora"


linux regd. user #248790

Offline

 

#29  2012-10-13 17:17:11

  sqrtek - Użytkownik

sqrtek
Użytkownik
Skąd: /bin/true
Zarejestrowany: 2012-06-14

Re: Sprawdzenie Stwierdzenia z Logiki - Matma Dyskretna

Szczerze to ja nie wiem czy tego się nauczę.. strasznie dziwne to jest.. rozumiem tylko do momentu tego:
~p V q
~(p ^ ~q)  -- bo prawa de morgana

Dalej to nie wiem skąd się to wszystko bierze, straszne te bramki są..


"Nie pozwól by zgiełk opinii innych ludzi, zagłuszył Twój wewnętrzny głos" ~ Steve Jobs

Offline

 

#30  2012-10-13 19:40:05

  rychu - elektryk dyżurny

rychu
elektryk dyżurny
Skąd: gdańsk/kalmar
Zarejestrowany: 2004-12-28

Re: Sprawdzenie Stwierdzenia z Logiki - Matma Dyskretna

no ale co?

p ^ q -- to jest koniunkcja
~(p ^ q) -- to jest zanegowana koniunkcja
p / q -- to jest dysjunkcja

~(p ^ q) = p / q  --  to jest zapis równoważny. lewa strona równania i prawa strona to jest jedna i ta sama bramka logiczna, tylko rozpisana na dwa sposoby. jak masz wątpliwości to zrób sobie tabele prawdy:

Kod:

p   q   ~(p ^ q)   p / q
0   0       1        1
0   1       1        1
1   0       1        1
1   1       0        0

3 i 4 kolumna identyczne, więc to jest to samo

negacja koniunkcji = dysjunkcja = NAND
negacja dysjunkcji = koniunkcja = AND

faktycznie trochę to głupie - po co używać pojęcia "dysjunkcja", skoro wystarczyłoby powiedzieć, że chodzi o "zanegowaną koniunkcję". jak weźmiesz do ręki jakieś czasopisma lub książki o technice cyfrowej to tam nikt nie używa pojęcia "dysjunkcja", zazwyczaj wszyscy mówią "NAND" i wszystko jest jasne

wracając do twojego przykładu: tu akurat q jest zanegowane, więc wygląda to tak:
~(p ^ ~q) = p / (~q)

następnie musisz pozbyć się negacji przed q (bo w zadaniu masz, że masz wypieprzyć wszystkie operatory oprócz dysjunkcji, a negacja to też operator). i tu stosujesz taki trik:
q ^ q = q -- proste nie? jak q = 0 to 0*0 też wyniesie 0, a jak q = 1 to 1*1 wyniesie 1.
po obustronnym zanegowaniu:
~(q ^ q) = ~q
wiesz już, że:
~(q ^ q) = q / q
czyli:
~q = q / q


linux regd. user #248790

Offline

 

Stopka forum

Powered by PunBB
© Copyright 2002–2005 Rickard Andersson
To nie jest tylko forum, to nasza mała ojczyzna ;-)