Funkcija z logičnimi operaterji....

Kaj bi naj pomenile puščice, prečrtan V in prečrtan X (zadnje je verjetno nekacija)?

puščica dol je NOR, gor pa NAND

Koliko radikalen si z osnovnimi operatorji? Načeloma zadošča konjunkcija (in) in negacija (ne) ali disjunkcija (ali) in negacija. Če uporabljaš oboje, je še toliko lažje, vsak sestavljen operator razpišeš po definiciji in je.

nand = ne(p in q)
nor = ne(p ali q)
xor = (p in ne q) ali (ne p in q)

@OwcA
xor = (p in ne q) ali (ne p in q) To že ni panike, če sta sam X1 in X2, sam ne če maš za p kao X3 NAND neX4 in za q potem še X1 & neX2 NAND X4...

Js bi rad sam da mi spravi kdo tisti XOR del nv funkcijo z osnovnimi operaterji...

Al pa kr koj!

// pušc(ica dol je NOR, gor pa NAND (pravi Vesoljc)

// nand = ne(p in q) (pravi OwcA)
// nor = ne(p ali q)
// xor = (p in ne q) ali (ne p in q)

$declareint x1 x2 x3 x4 temp1 temp2 temp3 temp4 temp5 f

$invar x1(0,1) x2(0,1) x3(0,1) x4(0,1)

$retvar f

temp1=x1&x2;temp1=1-temp1;
temp2=x3|x4;temp2=1-temp2;
x2=1-x2;temp3=x1&x2;
temp4=temp3&x4;temp4=1-temp4;
temp5=temp2|temp4;
f=temp1|temp5;

// prevedel Thomas

Critticall pravi:

f=1;


Se pravi, vedno je res.

Da bi znal js kej razbrat iz tega.. A mi lah plz narišeš tko prbližno kot js na slikci al pa vsaj poveš npr. tko:

X1 & neX2...(X1 v neX3)...sam primer

TNXXXXXXX

Thomas: malo offtopic, ampak ali je 1-p hitreje kot !p? Do sedaj sem živel v prepričanju, da so v C-ju operacije nad biti optimalen pristop kjer je to mogoče.

OwcA

Ja, seveda. Samo sem napisal kar tako. Sicer pa ja, Critticall podpira tudi NOT, klicaj v C.

Samo se je itak pokrajšalo vse.

Ma neeee, js rabim z osnvnimi operaterji... da so not sam AND, OR in ne(negacija)...

Pretvori Critticallovo kodo v matematiščino in bo.

Jest se vdam.

temp1=x1&x2;temp1=1-temp1;

temp2=x3|x4;temp2=1-temp2;

x2=1-x2;temp3=x1&x2;

temp4=temp3&x4;temp4=1-temp4;

temp5=temp2|temp4;

f=temp1|temp5;

 
 | = OR
 
 & = AND
 
 1 - = NOT
 
 

; - konec izraza (zavoljo preglednosti najbolje, da greš pri vsakem v novo vrstico)

drugače pa Wikipedia.

Se pravi

f=temp1|temp5
temp1=x1&x2
temp5=temp2|temp4
temp2=x3|x4
temp4=temp3&x4
temp3=x1&x2


To je

f= (x1&x2) | (x3|x4) | (x1&x2&x4)
....temp1.OR.temp2.OR.temp3&x4
...................................temp4

Mislim da bi morali bit tko...

Sam a ni nobene negacije...

In kateri tempi pridejo negirani potem v funkciji...

Ojej DeLonge, tvoj zadji post:

!x1 !x2 + !x2 x3 + x2 x3 !x4 + x1 !x2 !x3 x4

! = NE
+ = ALI
& pa se za hitrejse pisanje kar izpusti
! ima prednost pred & ima prednost pred +, zato ni oklepaev

Ce ne ves kako se to dobi, naj ti razlozim na primernu desnih spodnjih stirih kvadratkih:
nobeden imed njih ni v x1, nobeden izmed njih ni v x2, zato napises !x1 !x2.

Popolnoma veljaven zapis (sledeč Thomasovim izsledkom) samo z osnovnimi operatorji je recimo f(x1,x2,x3,x4) = x1 ali ne x1

ja samo thomas pravi da ko zadevo do konca poenostaviš dobiš izraz ki je vedno pravilen.
criticall pa je evolucijski algoritem in pri tej stvari nima kaj dosti veze.. je pa tvojo nalogo rešil z levo roko :) oziroma poenostavil. naj ti thomas da link do njega da boš videl kaj to sploh je.

Povezava ;)

Možno. Se mi ne lubi preverjat.

NOR je puščica dol, NAND pa je puščica gor...

Thomasovo povezavo sm pogledu, sam itaq ne vem zakaj se gre in ne razumem popolnoma nix

Vesoljc tvoj link je pa kar koristen...

Možno, da sem jest narobe prevedel. Zamešal NOR in NAND.

Iz tiste slike zgoraj sledi IMO tkole:

(not(x2)&x4) | (x3&not(x4)) | (not(x2)&not(x1))

Mogoče se da še kaj dodatno poenostavit, bom sprobal v ponedeljek.
LP

Se zdej ne vidim spornega v!!! Kje je kaj cudno napisano, podcrtano, nadcrtano ali kaj temu podobnega blizu prvega ali pa drugega v-ja?!
Nevem, kako lahko kr nek v (ki pomen ali funkcijo) spremenis v xor...

((x1 & x2') NAND x4)

Tole si sam dodal oklepaj!!! V originalu oklepaja znotraj ni. Nekdo visje je napisal, da ima nand prednost pred and. Torej:

(x1 & (x2' NAND x4))

...
No, zdele sm gledal v sliko cel dan. A je pri drugem v sporno to, da je med obema vrhoma v-ja crta, ki ta dva vrha povezuje? Ki potem naredi iz v-ja trikotnik? Je to to?


by Miha

1. prednosti veznikov (če gre za enakovredne veznike (spodaj so v isti vrstici), se stvari združuje od leve proti desni, Jimi: oklepaj pa sem dodal zaradi preglednosti), torej:

NAJVIŠJA

negacija
konjunkcija, NAND, NOR
disjunkcija, XOR
implikacija
ekvivalenca

NAJNIŽJA

--------

2. stvar se IMO poenostavi tako:

f(X₁,X₂,X₃,X₄) = (notX₁ & notX₂) | (X₃ & notX₄) | (X₁ & notX₂ & X₄)

Upam, da tole kaj pomaga