You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
556 lines
10 KiB
556 lines
10 KiB
x+y xor result = 11100111000000111100000
|
|
-> wrong outputs: ...
|
|
5432109876543210987654321098765432109876543210
|
|
x + y = 1100001110001111100010001100100000011011100110
|
|
result = 1100001110001111100010010000011000011100000110
|
|
(... z2 z1 z0)
|
|
-> z 5, 6, 7, 8, 15, 16, 17, 20, 21, 22
|
|
|
|
// z20 (0->1) qfj or mqg
|
|
// z21 (0->1) hgs ^ hhh
|
|
// z22 (1->0) kqs ^ vjk
|
|
|
|
z15 (1->0) sth and bhw
|
|
z16 (1->0) tds ^ mqr
|
|
z17 (0->1) jts ^ hhm
|
|
|
|
z05 (0->1) y05 and x05 -> mit anderem z Gatter tauschen (z.B. z 8, 15, 16, 22)
|
|
z06 (0->1) bvc ^ qfg
|
|
z07 (0->1) cwh ^ tpd (cwh 1->0)
|
|
// z08 (1->0) wcg ^ dsn
|
|
|
|
----
|
|
|
|
|
|
|
|
SWAP:
|
|
qfg and mvv (z06, z07, z08, z20, z21, z22)
|
|
z05 and z15
|
|
z16 and z17
|
|
WORKS ON ONE EXAMPLE
|
|
----
|
|
|
|
z06 (0->1) (dkr or fdd) ^ 1
|
|
dkr = gcs ^ hdc = 1
|
|
fdd = hdc and gcs = 0
|
|
hdc = 0, gcs = 1
|
|
gcs = dhf or hrr = 1 -> 0
|
|
dhf nsg and kkt
|
|
1
|
|
hrr x04 and y04
|
|
0
|
|
|
|
z07 (0->1) 1 ^ (bgf or sfb)
|
|
bgf = qfg and bvc = 1 -> 0
|
|
sfb = 0
|
|
|
|
// 2 gates: qfg = 1 -> 0
|
|
|
|
|
|
z08 (1->0) 0 ^ (ddj or ktn -> 0)
|
|
ddj = cwh and tpd = 1 -> 0
|
|
ktn = 0
|
|
|
|
z15 (1->0) (nfn or cwj) and 1
|
|
nfn = khg and hdd = 1 -> 0
|
|
cwj = 0 -> 0
|
|
|
|
z16 (1->0) 1 ^ (hhb or htp -> 1)
|
|
hhb = 0
|
|
htp = bhw ^ sth = 0 -> 1
|
|
bhw = 1
|
|
sth = nfn or cwj = 1 -> 0
|
|
|
|
// sth 1->0 : z16 and z15
|
|
|
|
z17 (0->1) (wmd or kvv -> 1) ^ 0
|
|
wmd y16 and x16
|
|
kvv = tds and mqr = 0
|
|
|
|
|
|
z20 (0->1) (mvv and fvm -> 1) or 0
|
|
z21 (0->1) 1 ^ (mvv ^ fvm -> 0)
|
|
fvm = hcq or pjv = 1
|
|
|
|
// 2 gates: mvv = 0 -> 1
|
|
|
|
-> z22 (1->0) (mvp or wms) ^ 0
|
|
wms = hgs and hhh = 1 -> 0
|
|
hgs y21 ^ x21
|
|
mvp = x21 and y21
|
|
hhh mvv ^ fvm
|
|
mvv x20 ^ y20
|
|
fvm = hcq or pjv = 1
|
|
1
|
|
|
|
hhh <> wms ?
|
|
----
|
|
z01
|
|
z01 wsg ^ pnw =1
|
|
wsg y00 and x00 = 1
|
|
pnw y01 ^ x01 = 0
|
|
|
|
z02
|
|
z02 mts ^ ntr = 1
|
|
mts x02 ^ y02 = 1
|
|
ntr wwc or hch = 0
|
|
wwc x01 and y01 = 0
|
|
hch wsg and pnw
|
|
____
|
|
|
|
z06 (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)))) ^ 1
|
|
z07 1 ^ (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))
|
|
z08 (0 ^ 0) ^ (((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1))
|
|
|
|
z15 (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1)) and 1
|
|
z16 1 ^ ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1))))
|
|
z17 ((1 and 0) or ((0 ^ 1) and ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1)))))) ^ 0
|
|
|
|
z20 ((0 ^ 0) and (((((((0 ^ 0) and ((1 and 0) or ((0 ^ 1) and ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1))))))) or (0 and 0)) and (1 ^ 1)) or (1 and 1)) and (1 ^ 0)) or (0 and 1))) or 0
|
|
z21 (1) ^ ((0 ^ 0) ^ (((((((0 ^ 0) and ((1 and 0) or ((0 ^ 1) and ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1))))))) or (0 and 0)) and (1 ^ 1)) or (1 and 1)) and (1 ^ 0)) or (0 and 1)))
|
|
z22 ((1 and 0) or ((0 ^ 1) and ((0 ^ 0) ^ (((((((0 ^ 0) and ((1 and 0) or ((0 ^ 1) and ((0 and 1) or ((0 ^ 1) ^ (((1 ^ 0) and ((((1 and 0) or (((((1 and 0) or ((1 ^ 0) and (((1 ^ 0) and ((0 and 0) or ((((1 ^ 0) and (((1 ^ 0) and (((((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1)) ^ (0 ^ 0)) or ((0 ^ 0) and (((((1 ^ 1) and ((1 and 0) or ((1 ^ 0) and ((0 and 0) or ((1 and 1) and (0 ^ 0)))))) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) or (0 and 1))) or (0 and 1)) and (0 ^ 0)))) or (1 and 0)))) and (1 ^ 1)) or (1 and 1)) and (0 ^ 1))) and (0 ^ 1)) or (1 and 0))) or (0 and 1))))))) or (0 and 0)) and (1 ^ 1)) or (1 and 1)) and (1 ^ 0)) or (0 and 1))))) ^ (0)
|
|
|
|
cwj x14 and y14
|
|
0
|
|
gcs dhf or hrr
|
|
1
|
|
pfh y44 ^ x44
|
|
0
|
|
bpg fqq or hww
|
|
0
|
|
jts wmd or kvv
|
|
0
|
|
nfn khg and hdd
|
|
1
|
|
rpk y35 ^ x35
|
|
0
|
|
htp bhw ^ sth
|
|
0
|
|
gnf x13 ^ y13
|
|
1
|
|
qwn y39 and x39
|
|
0
|
|
z19 nhr ^ wks
|
|
0
|
|
mpd x40 and y40
|
|
0
|
|
hsf pvw and fsf
|
|
1
|
|
sbk y29 and x29
|
|
1
|
|
gjs kqk or shk
|
|
1
|
|
fww swm or rrk
|
|
0
|
|
bpn x30 and y30
|
|
0
|
|
z02 mts ^ ntr
|
|
1
|
|
vsh y23 ^ x23
|
|
1
|
|
cwh x07 ^ y07
|
|
1
|
|
wrr jqq or trc
|
|
0
|
|
khg y14 ^ x14
|
|
1
|
|
fsf y12 ^ x12
|
|
1
|
|
tts x27 and y27
|
|
0
|
|
tsp bjs and vnp
|
|
0
|
|
fvm hcq or pjv
|
|
1
|
|
z42 vsk ^ svf
|
|
0
|
|
rsm dwp and fwn
|
|
0
|
|
bjs x30 ^ y30
|
|
0
|
|
pjv y19 and x19
|
|
0
|
|
mvv x20 ^ y20
|
|
0
|
|
z43 vpb ^ jmq
|
|
0
|
|
thc tkd and shd
|
|
0
|
|
z38 nbw ^ wjn
|
|
1
|
|
jqq wjn and nbw
|
|
0
|
|
hhm y17 ^ x17
|
|
0
|
|
bvc dkr or fdd
|
|
1
|
|
mcd qjh and qcm
|
|
0
|
|
fwn x26 ^ y26
|
|
0
|
|
bsh dsf and tjv
|
|
0
|
|
nhw qjs and ncw
|
|
0
|
|
z04 nsg ^ kkt
|
|
0
|
|
mqr hhb or htp
|
|
0
|
|
z21 hgs ^ hhh
|
|
0
|
|
z39 wrr ^ htw
|
|
1
|
|
z07 cwh ^ tpd
|
|
0
|
|
dkr gcs ^ hdc
|
|
1
|
|
rhp rng and mdw
|
|
1
|
|
ddj cwh and tpd
|
|
1
|
|
jjk x43 and y43
|
|
1
|
|
swm hhm and jts
|
|
0
|
|
hrr x04 and y04
|
|
0
|
|
shd qhg or jgj
|
|
0
|
|
kbb y44 and x44
|
|
1
|
|
prp gpb and cwn
|
|
0
|
|
vcd y42 and x42
|
|
0
|
|
trc y38 and x38
|
|
0
|
|
hhh mvv ^ fvm
|
|
1
|
|
z33 qjh ^ qcm
|
|
1
|
|
z05 y05 and x05
|
|
0
|
|
khw pfh and gqg
|
|
0
|
|
tkd y03 ^ x03
|
|
0
|
|
dwk x25 ^ y25
|
|
0
|
|
bcm phm and bjw
|
|
0
|
|
gpb y31 ^ x31
|
|
1
|
|
pcd y28 and x28
|
|
0
|
|
fdd hdc and gcs
|
|
0
|
|
z11 ffw ^ cjf
|
|
0
|
|
hgs y21 ^ x21
|
|
1
|
|
z41 fcd ^ nkw
|
|
0
|
|
z22 kqs ^ vjk
|
|
1
|
|
ggk x36 and y36
|
|
0
|
|
tjv x34 ^ y34
|
|
0
|
|
cbg y25 and x25
|
|
0
|
|
mdw x24 ^ y24
|
|
1
|
|
fkk rpk and rfs
|
|
0
|
|
rwd x24 and y24
|
|
0
|
|
mdb y11 and x11
|
|
1
|
|
z40 phm ^ bjw
|
|
0
|
|
cwn tsp or bpn
|
|
0
|
|
nrv y29 ^ x29
|
|
0
|
|
qcm nhw or qdc
|
|
0
|
|
z34 tjv ^ dsf
|
|
0
|
|
mvp x21 and y21
|
|
0
|
|
bnr x08 and y08
|
|
0
|
|
pvw gqr or mdb
|
|
1
|
|
tsh sfw and gnf
|
|
1
|
|
bwd mfc and gqf
|
|
0
|
|
nbb y35 and x35
|
|
0
|
|
csk x09 ^ y09
|
|
1
|
|
z20 qfj or mqg
|
|
0
|
|
kqk x22 and y22
|
|
1
|
|
wcg x08 ^ y08
|
|
0
|
|
mfc y37 ^ x37
|
|
1
|
|
z18 wrn ^ fww
|
|
0
|
|
dnb rvw or rsm
|
|
1
|
|
mcw x23 and y23
|
|
0
|
|
ntr wwc or hch
|
|
0
|
|
vjk x22 ^ y22
|
|
0
|
|
z37 gqf ^ mfc
|
|
1
|
|
z15 sth and bhw
|
|
1
|
|
z24 rng ^ mdw
|
|
0
|
|
kkt y04 ^ x04
|
|
1
|
|
z12 fsf ^ pvw
|
|
0
|
|
z10 bpg ^ kpk
|
|
1
|
|
qhg x02 and y02
|
|
0
|
|
nhr x19 ^ y19
|
|
1
|
|
dwp cbg or srg
|
|
0
|
|
z44 pfh ^ gqg
|
|
1
|
|
wsg y00 and x00
|
|
1
|
|
qjh x33 ^ y33
|
|
1
|
|
z17 jts ^ hhm
|
|
0
|
|
ncw y32 ^ x32
|
|
1
|
|
gfq fww and wrn
|
|
0
|
|
vsk qcn or fjq
|
|
0
|
|
dhf nsg and kkt
|
|
1
|
|
qdc y32 and x32
|
|
0
|
|
tpd bgf or sfb
|
|
1
|
|
bcn dnb and bsv
|
|
1
|
|
phk y28 ^ x28
|
|
1
|
|
kvv tds and mqr
|
|
0
|
|
phm wtf or qwn
|
|
0
|
|
z09 pss ^ csk
|
|
1
|
|
vnp kwp or sbk
|
|
1
|
|
rvw y26 and x26
|
|
1
|
|
qfj mvv and fvm
|
|
0
|
|
hhb y15 and x15
|
|
0
|
|
z29 hbb ^ nrv
|
|
1
|
|
rms dsn and wcg
|
|
0
|
|
pss bnr or rms
|
|
0
|
|
sth nfn or cwj
|
|
1
|
|
kqs mvp or wms
|
|
1
|
|
z14 khg ^ hdd
|
|
0
|
|
wjn bwd or rnr
|
|
0
|
|
twv x18 and y18
|
|
1
|
|
z35 rfs ^ rpk
|
|
0
|
|
srg dwk and fbs
|
|
0
|
|
qjs prp or dmf
|
|
0
|
|
hpg nbb or fkk
|
|
0
|
|
z32 ncw ^ qjs
|
|
1
|
|
hbb pcd or wff
|
|
1
|
|
jmq y43 ^ x43
|
|
0
|
|
rng hkg or mcw
|
|
1
|
|
hww x09 and y09
|
|
0
|
|
fhs y13 and x13
|
|
0
|
|
bgf qfg and bvc
|
|
1
|
|
wrn y18 ^ x18
|
|
0
|
|
z28 phk ^ rkf
|
|
0
|
|
qfg x06 ^ y06
|
|
1
|
|
z00 y00 ^ x00
|
|
0
|
|
tds x16 ^ y16
|
|
1
|
|
wms hgs and hhh
|
|
1
|
|
vpb fkc or vcd
|
|
0
|
|
rrr y03 and x03
|
|
1
|
|
nsg thc or rrr
|
|
1
|
|
z13 sfw ^ gnf
|
|
0
|
|
z06 bvc ^ qfg
|
|
0
|
|
hch wsg and pnw
|
|
0
|
|
htw y39 ^ x39
|
|
1
|
|
npc x12 and y12
|
|
0
|
|
shk vjk and kqs
|
|
0
|
|
z36 ggk ^ hpg
|
|
0
|
|
z23 gjs ^ vsh
|
|
0
|
|
dsn ddj or ktn
|
|
1
|
|
nbw x38 ^ y38
|
|
1
|
|
mqv y33 and x33
|
|
0
|
|
bqf ggk and hpg
|
|
0
|
|
sfw npc or hsf
|
|
1
|
|
wmd y16 and x16
|
|
0
|
|
hkg vsh and gjs
|
|
1
|
|
kpk x10 ^ y10
|
|
1
|
|
dsf mcd or mqv
|
|
0
|
|
hdc x05 ^ y05
|
|
0
|
|
z08 wcg ^ dsn
|
|
1
|
|
nkw x41 ^ y41
|
|
0
|
|
jgj mts and ntr
|
|
0
|
|
fcd bcm or mpd
|
|
0
|
|
z16 tds ^ mqr
|
|
1
|
|
fkc vsk and svf
|
|
0
|
|
bsv x27 ^ y27
|
|
1
|
|
gqf bqf or rhv
|
|
0
|
|
z45 kbb or khw
|
|
1
|
|
kwp nrv and hbb
|
|
0
|
|
fqq csk and pss
|
|
0
|
|
cjq y34 and x34
|
|
0
|
|
mqg x20 and y20
|
|
0
|
|
hdd tsh or fhs
|
|
1
|
|
hcq wks and nhr
|
|
1
|
|
rfs cjq or bsh
|
|
0
|
|
wks gfq or twv
|
|
1
|
|
fbs rwd or rhp
|
|
1
|
|
rnr y37 and x37
|
|
0
|
|
cjf vfs or jgd
|
|
0
|
|
dmf y31 and x31
|
|
0
|
|
jgd kpk and bpg
|
|
0
|
|
rhv y36 ^ x36
|
|
0
|
|
svf y42 ^ x42
|
|
0
|
|
z30 bjs ^ vnp
|
|
1
|
|
gqg cst or jjk
|
|
1
|
|
bjw y40 ^ x40
|
|
0
|
|
gqr cjf and ffw
|
|
0
|
|
fjq fcd and nkw
|
|
0
|
|
pnw y01 ^ x01
|
|
0
|
|
z27 dnb ^ bsv
|
|
0
|
|
z01 wsg ^ pnw
|
|
1
|
|
qcn y41 and x41
|
|
0
|
|
sfb y06 and x06
|
|
0
|
|
z31 gpb ^ cwn
|
|
1
|
|
mts x02 ^ y02
|
|
1
|
|
z03 shd ^ tkd
|
|
0
|
|
z25 dwk ^ fbs
|
|
1
|
|
ffw y11 ^ x11
|
|
0
|
|
wff phk and rkf
|
|
1
|
|
cst jmq and vpb
|
|
0
|
|
rkf bcn or tts
|
|
1
|
|
ktn y07 and x07
|
|
0
|
|
rrk x17 and y17
|
|
0
|
|
vfs x10 and y10
|
|
0
|
|
z26 fwn ^ dwp
|
|
0
|
|
wwc x01 and y01
|
|
0
|
|
wtf htw and wrr
|
|
0
|
|
bhw y15 ^ x15
|
|
1
|
|
|