ÁTVÁLTÁSOK SZÁMRENDSZEREK KÖZÖTT, SZÁMÁBRÁZOLÁS, BOOLE-ALGEBRA

Hasonló dokumentumok
Harmadik gyakorlat. Számrendszerek

SZÁMÉRTÉKEK (ÁT)KÓDOLÁSA

SZÁMRENDSZEREK KÉSZÍTETTE: JURÁNYINÉ BESENYEI GABRIELLA

Assembly programozás: 2. gyakorlat

Segédlet az Informatika alapjai I. című tárgy számrendszerek fejezetéhez

Bevezetés az informatikába gyakorló feladatok Utoljára módosítva:

Bevezetés az informatikába gyakorló feladatok Utoljára módosítva:

Kedves Diákok! A feladatok legtöbbször egy pontot érnek. Ahol ettől eltérés van, azt külön jelöljük.

Programozás II. Segédlet az első dolgozathoz

LEBEGŐPONTOS SZÁMÁBRÁZOLÁS

Számrendszerek. Bináris, hexadecimális

Dr. Oniga István DIGITÁLIS TECHNIKA 2

3. gyakorlat. Kettes számrendszer: {0, 1} Tízes számrendszer: {0, 1, 2,..., 9} 16-os (hexadecimális számrendszer): {0, 1, 2,..., 9, A, B, C, D, E, F}

Fixpontos és lebegőpontos DSP Számrendszerek

A feladatok legtöbbször egy pontot érnek. Ahol ettől eltérés van, azt külön jelöljük.

10-es számrendszer, 2-es számrendszer, 8-as számrendszer, 16-os számr. Számjegyek, alapműveletek.

Máté: Számítógép architektúrák

5.1.4 Laborgyakorlat: A Windows számológép használata hálózati címeknél

2. Fejezet : Számrendszerek

S z á m í t á s t e c h n i k a i a l a p i s m e r e t e k

(jegyzet) Bérci Norbert szeptember 10-i óra anyaga. 1. Számrendszerek A számrendszer alapja és a számjegyek

4. Fejezet : Az egész számok (integer) ábrázolása

Számrendszerek. A római számok írására csak hét jelt használtak. Ezek segítségével, jól meghatározott szabályok szerint képezték a különböz számokat.

The Architecture of Computer Hardware and Systems Software: An InformationTechnology Approach 3. kiadás, Irv Englander John Wiley and Sons 2003

Hatványozás. A hatványozás azonosságai

2019/02/11 10:01 1/10 Logika

A számrendszerekrl általában

Informatikai Rendszerek Alapjai

1. forduló Az adat, az információ és a hír jelentése és tartalma. A kommunikáció

3. óra Számrendszerek-Szg. történet

Máté: Számítógép architektúrák

I+K technológiák. Számrendszerek, kódolás

DIGITÁLIS TECHNIKA I BINÁRIS SZÁMRENDSZER BEVEZETŐ ÁTTEKINTÉS BINÁRIS SZÁMRENDSZER HELYÉRTÉK. Dr. Lovassy Rita Dr.

Hardverközeli programozás 1 1. gyakorlat. Kocsis Gergely

3. óra Számrendszerek-Szg. történet

Bevezetés az informatikába Tételsor és minta zárthelyi dolgozat 2014/2015 I. félév

Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) Számelmélet I.

Példa:

IT - Alapismeretek. Feladatgyűjtemény

1. fogalom. Add meg az összeadásban szereplő számok elnevezéseit! Milyen tulajdonságai vannak az összeadásnak? Hogyan ellenőrizzük az összeadást?

A programozás alapjai előadás. A C nyelv típusai. Egész típusok. C típusok. Előjeles egészek kettes komplemens kódú ábrázolása

Mechatronika Modul 1: Alapismeretek

5. Fejezet : Lebegőpontos számok. Lebegőpontos számok

7. Számelmélet. 1. Lehet-e négyzetszám az a pozitív egész szám, amelynek tízes számrendszerbeli alakjában 510 darab 1-es és valahány 0 szerepel?

Jelátalakítás és kódolás

Aritmetikai utasítások I.

Bizonyítási módszerek - megoldások. 1. Igazoljuk, hogy menden természetes szám esetén ha. Megoldás: 9 n n = 9k = 3 3k 3 n.

5. Fejezet : Lebegőpontos számok

1. Halmazok, számhalmazok, alapműveletek

Knoch László: Információelmélet LOGIKA

Negatív alapú számrendszerek

Számrendszerek. 1. ábra: C soportosítás 2-es számrendszerben. Helyiértékek: A szám leírva:

Számelmélet Megoldások

(jegyzet) Bérci Norbert szeptember i óra anyaga A számrendszer alapja és a számjegyek Alaki- és helyiérték...

Amit a törtekről tudni kell Minimum követelményszint

Hajnal Péter. Bolyai Intézet, TTIK, SZTE, Szeged április 8.

HHF0CX. k darab halmaz sorbarendezésének a lehetősége k! Így adódik az alábbi képlet:

Amit a törtekről tudni kell 5. osztály végéig Minimum követelményszint

Digitális technika VIMIAA02 1. EA Fehér Béla BME MIT

b) Melyikben szerepel az ezres helyiértéken a 6-os alaki értékű szám? c) Melyik helyiértéken áll az egyes számokban a 6-os alaki értékű szám?

A logika, és a matematikai logika alapjait is neves görög tudós filozófus Arisztotelész rakta le "Analitika" című művében, Kr.e. IV. században.

EXPONENCIÁLIS EGYENLETEK

Digitális technika VIMIAA02 1. EA

Értékes jegyek fogalma és használata. Forrás: Dr. Bajnóczy Gábor, BME, Vegyészmérnöki és Biomérnöki Kar Kémiai és Környezeti Folyamatmérnöki Tanszék

Egész számok. pozitív egész számok: 1; 2; 3; 4;... negatív egész számok: 1; 2; 3; 4;...

DIGITÁLIS TECHNIKA I SZÁMRENDSZEREK HELYÉRTÉK SZÁMRENDSZEREK RÓMAI SZÁMOK ÉS RENDSZERÜK. Dr. Lovassy Rita Dr.

Elemi matematika szakkör

Készítette: Nagy Tibor István

Gyakorló feladatok. /2 Maradék /16 Maradék /8 Maradék

Egész számok értelmezése, összehasonlítása

Kifejezések. Kozsik Tamás. December 11, 2016

Számrendszerek és az informatika

LINEÁRIS PROGRAMOZÁSI FELADATOK MEGOLDÁSA SZIMPLEX MÓDSZERREL

Digitális technika VIMIAA01

Digitális technika VIMIAA01

1. előadás. Lineáris algebra numerikus módszerei. Hibaszámítás Számábrázolás Kerekítés, levágás Klasszikus hibaanalízis Abszolút hiba Relatív hiba

Digitális technika VIMIAA hét

Számelmélet. 4. Igazolja, hogy ha hat egész szám összege páratlan, akkor e számok szorzata páros!

A számolás története

Alapismeretek. Tanmenet

Kombinációs hálózatok Számok és kódok

Informatika elméleti alapjai. January 17, 2014

Megoldások. Brósch Zoltán (Debreceni Egyetem Kossuth Lajos Gyakorló Gimnáziuma) 1. Számítsd ki a következő kifejezések pontos értékét!

Digitális technika VIMIAA hét

Számítógépes architektúrák I. Antal Péter

DIGITÁLIS TECHNIKA I 6. ELİADÁS SZÁMRENDSZEREK BEVEZETİ ÁTTEKINTÉS. Római számok és rendszerük. Helyérték

ANTILOP A-8200C ÉS A8200B HASZNÁLATI UTASÍTÁS

C programozás. { Márton Gyöngyvér, 2009 } { Sapientia, Erdélyi Magyar Tudományegyetem }

Matematika 7. osztály

I. el adás, A számítógép belseje

2, a) Három ketted b) Háromszázkettőezer nyolcszázhét c) Két egész tizenöt század d) Két egész öt tized e) Egymillió - hét.

TANMENETJAVASLAT. Dr. Korányi Erzsébet MATEMATIKA. tankönyv ötödikeseknek. címû tankönyvéhez

BEVEZETÉS AZ INFORMATIKÁBA 1. rész TARTALOMJEGYZÉK

Laborgyakorlat Logikai áramkörök számítógéppel segített tervezése (CAD)

A továbbiakban Y = {0, 1}, azaz minden szóhoz egy bináris sorozatot rendelünk

Analóg és digitális mennyiségek

A Gray-kód Bináris-kóddá alakításának leírása

Számrendszerek, számábrázolás

1. előadás. Adatok, számrendszerek, kódolás. Dr. Kallós Gábor

5 = hiszen és az utóbbi mátrix determinánsa a középs½o oszlop szerint kifejtve: 3 7 ( 2) = (példa vége). 7 5 = 8. det 6.

Átírás:

1. Tízes (decimális) számrendszerből: a. Kettes (bináris) számrendszerbe: Vegyük a 2634 10 -es számot, és váltsuk át bináris (kettes) számrendszerbe! A legegyszerűbb módszer: írjuk fel a számot, és húzzunk egy vonalat a jobb oldala mellé. Osszuk el a számot 2-vel (a számrendszer alapjával), az eredményt (a hányadost) írjuk a felírt szám alá, a maradékot pedig (0 vagy 1) írjuk a vonal másik oldalára. Ezt mindaddig ismételjük, amíg az osztás folyamán a keletkező hányados 0 nem lesz. Ekkor a vonal jobb oldalán lévő számokat alulról felfelé írjuk egymás mellé, és már meg is kaptuk a decimális szám bináris alakját: 2634 0 1317 1 658 0 329 1 164 0 82 0 41 1 20 0 10 0 5 1 2 0 1 1 0 b. Nyolcas (oktális) számrendszerbe: A legegyszerűbb átváltani tízes számrendszerből nyolcasba az, ha előbb tízesesből átváltunk kettes számrendszerbe, majd kettesből váltunk nyolcasba. 1. lépés: Tízesből kettesbe (lásd: 1.a pont) 2. lépés: A kettesből nyolcas számrendszerbe történő átváltáskor a számjegyeket a legalacsonyabb helyiértéktől hármasával csoportosítjuk (ha kevesebb számjegy van, kibővíthetjük 0-val a legmagasabb helyiértékeken), és átírjuk a nyolcas számrendszer számjegyeire. Azért hármasával csoportosítunk, mert a nyolc a kettőnek a 3. hatványa. Ahol nullák szerepelnek a kettes számrendszerbeli számban, azokat nem vesszük figyelembe (általában áthúzzuk). Példa: 1010101110 2 0 0 1 0 1 0 1 0 1 1 1 0 2 2 2 1 2 0 2 2 2 1 2 0 2 2 2 1 2 0 2 2 2 1 2 0 1 2 5 6 Az 1010101110 2 nyolcas számrendszerbeli értéke: 1256 8 Tehát a 2634 10 bináris alakja: 101001001010 2. c. Tizenhatos (hexadecimális) számrendszerbe: A legegyszerűbb átváltani tízes számrendszerből nyolcasba az, ha előbb tízesből átváltunk kettes számrendszerbe, majd kettesből váltunk tizenhatosba. 1. lépés: Tízesből kettesbe (lásd: 1.a pont) 2. lépés: A kettesből tizenhatos számrendszerbe történő átváltáskor a számjegyeket a legalacsonyabb helyiértéktől négyesével csoportosítjuk (ha kevesebb számjegy van, kibővíthetjük 0- val a legmagasabb helyiértékeken), és átírjuk a tizenhatos számrendszer számjegyeire. Azért négyesével csoportosítunk, mert a tizenhat a kettőnek a 4. hatványa. Ahol nullák szerepelnek a 2-es számrendszerbeli számban, azokat nem vesszük figyelembe (általában áthúzzuk). Példa: Nézzük az 1010101110 2 számot! 0 0 1 0 1 0 1 0 1 1 1 0 2 3 2 2 2 1 2 0 2 3 2 2 2 1 2 0 2 3 2 2 2 1 2 0 2 8 + 2 8+4 +2 2 A E Tehát a 1010101110 2 hexadecimális számrendszerbeli alakja: 2AE 16.

2. Kettes (bináris) számrendszerből a. Tízes (decimális) számrendszerbe: Kettes számrendszerből tízesbe úgy váltunk, hogy a kettes számrendszerbeli szám legkisebb helyiértékétől kezdve felírjuk a kettő hatványait 2 0 -tól, egészen addig, amíg a szám tart. A nullákat lehúzzuk, majd a maradék értékeket kiszámolva összeadjuk őket: Pl: 10011010 2 1 0 0 1 1 0 1 0 2 7 2 6 2 5 2 4 2 3 2 2 2 1 2 0 128+ 16+ 8 + 2 2 Tehát a 10011010 2 szám tizes számrendszerbeli alakja: 128+16+8+2=154 10 b. Nyolcas (oktális) számrendszerbe: Lásd: 1.b pont 2. lépése c. Tizenhatos (hexadecimális) számrendszerbe: Lásd: 1.c pont 2. lépése 3. Nyolcas (oktális) számrendszerből: a. Kettes (bináris) számrendszerbe: Példa: 1754 8 A 8-as számrendszerbeli számot úgy lehet kettesbe átváltani, hogy felírjuk a nyolcas számrendszerbeli szám számjegyeit három helyiértékből álló kettes számrendszerbeli alakjukban, majd ábrázolási sorrendjükben egymás után írjuk. A három számjegyből ki kell választani, melyik(ek) összegeként írható fel az adott szám. A legfelső helyiértékről a kezdő nullák elhagyhatóak. 1 7 5 4 2 2 2 1 2 0 2 2 2 1 2 0 2 2 2 1 2 0 2 2 2 1 2 0 4 2 1 4+2+1 4 2 1 4 2 1 0 0 1 1 1 1 1 0 1 1 0 0 Tehát az 1754 8 kettes számrendszerbeli alakja: 1111101100 2 b. Tízes (decimális) számrendszerbe: Nyolcas számrendszerből tízes számrendszerbe a legegyszerűbb, ha kettes számrendszeren keresztül számolunk. Tehát a nyolcas számrendszerbeli számot átváltjuk kettesbe, majd abból tízesbe váltunk. 1. lépés: nyolcasból kettesbe: lásd: 3.a pont 2. lépés: kettesből tízesbe: lásd: 2.a pont c. Tizenhatos (hexadecimális) számrendszerbe: Nyolcas számrendszerből tizenhatos számrendszerbe a legegyszerűbb, ha kettes számrendszeren keresztül számolunk. Tehát a nyolcas számrendszerbeli számot átváltjuk kettesbe, majd abból tizenhatosba váltunk. 1. lépés: nyolcasból kettesbe: lásd: 3.a pont 2. lépés: kettesből tizenhatosba: lásd: 1.c pont 2. lépése 4. Tizenhatos (hexadecimális) számrendszerből a. Kettes (bináris) számrendszerbe Példa: F3A 16 A tizenhatos számrendszerbeli számot úgy lehet kettesbe átváltani, hogy felírjuk a tizenhatos számrendszerbeli szám számjegyeit négy helyiértékből álló kettes számrendszerbeli alakjukban, majd ábrázolási sorrendjükben egymás után írjuk. A négy számjegyből ki kell választani,

melyik/melyek összegeként írható fel az adott szám. A legfelső helyiértékről a kezdő nullák elhagyhatóak. F (=15) 3 A (=10) 2 3 2 2 2 1 2 0 2 3 2 2 2 1 2 0 2 3 2 2 2 1 2 0 8 4 2 1 8 4 2 1 8 4 2 1 1 1 1 1 0 0 1 1 1 0 1 0 Tehát az F3A 16 kettes számrendszerbeli alakja: 11100111010 2 b. Tízes (decimális) számrendszerbe Tizenhatos számrendszerből tízes számrendszerbe a legegyszerűbb, ha kettes számrendszeren keresztül számolunk. Tehát a tizenhatos számrendszerbeli számot átváltjuk kettesbe, majd abból tízesbe váltunk. 1. lépés: tizenhatosból kettesbe: lásd: 4.a pont 2. lépés: kettesből tízesbe: lásd: 2.a pont c. Nyolcas (oktális) számrendszerbe Tizenhatos számrendszerből nyolcas számrendszerbe a legegyszerűbb, ha kettes számrendszeren keresztül számolunk. Tehát a tizenhatos számrendszerbeli számot átváltjuk kettesbe, majd abból nyolcasba váltunk. 1. lépés: tizenhatosból kettesbe: lásd: 4.a pont 2. lépés: kettesből nyolcasba: lásd: 1.b pont 2. lépése Összeadás és kivonás kettes számrendszerben Az összeadás gyakorlatilag ugyanúgy működik, mint a tízes számrendszer esetében, csak kevesebb számjeggyel. Az összeadás szabályai a következők: 1 0 1 0 1 1 + 0 + 0 + 1 + 1 + 1 0 1 1 1 0 1 1 Két egyes esetén az összeg 0, és a következő helyiértékre továbbviszünk egy egyest. Így előfordulhat, hogy 3 egyes kerül összeadásra, aminek az eredménye 1, és ismét továbbviszünk egy 1-est. Példa: 1 0 1 1 0 1 1 0 + 1 0 0 1 0 0 1 1 1 0 1 0 0 1 0 0 1 A félkövérrel jelölt oszlopokban az összeadást elvégezve tovább kell vinni egy egyest a következő helyiértékre. A szám elején továbbvitel miatt még egy egyest le kell írni az eredmény elejére, de mivel 8 biten dolgozunk, ez túlcsordulásnak számít, így át kell húzni. Kivonás: A kivonást kettes számrendszerben összeadásra vezetjük vissza. Ez úgy tesszük meg, hogy a kivonandó számot negatívvá alakítjuk. A negatívvá alakítást kettes komplemens képzésével végezzük. Ez annyit tesz, hogy az adott szám számjegyeit az ellenkezőjére váltjuk (ahol egyes volt, oda 0-át, ahol nulla volt, oda 1-est írunk), majd a kettes számrendszerbeli összeadásra vonatkozó szabállyal hozzáadunk egyet. Ha ezzel megkaptuk a negatív számot, akkor ezt már csak hozzá kell adni az eredetihez.

Példa: 1 0 0 1 1 0 1 1-0 1 0 0 1 0 0 0 A kivonás elvégzéséhez a kivonandó (második) számot negatívvá alakítjuk át kettes komplemens képzésével: Kiindulási szám: 0 1 0 0 1 0 0 0 Számjegyek megfordítva: 1 0 1 1 0 1 1 1 Hozzáadva egyet: + 1 Kettes komplemens: 1 0 1 1 1 0 0 0 Így már csak ezt a végeredmény kell hozzáadni az eredeti számhoz (10011011): És ezzel meg is kaptuk a végeredményt. 1 0 0 1 1 0 1 1 + 1 0 1 1 1 0 0 0 1 0 1 0 1 0 0 1 1 Lebegőpontos számábrázolás kettes számrendszerben A lebegőpontos számábrázolás valós, azaz tört számok ábrázolására készült. Kettes számrendszerben azonban az egészrész és a törtrész között nem tizedesvessző, hanem úgynevezett kettedespont áll, ami gyakorlatilag egy kettőspont. Az átváltás menete a következő: 1. A kettes számrendszerbeli számot felírjuk normál alakban. Nézzünk példát mindkét esetre a következő két számmal: 1. szám: 10110:101101 2, 2.szám: 0:000101101 A bináris pontot addig toljuk, míg az első értékes (1) helyiértékjegy elé nem ér. A normál alak kettes számrendszerben mindig 0:-tal kezdődik, majd utána jön megszakítás nélkül az adott szám az első értékes (1-es) helyiértéktől. Utána, mivel kettes számrendszerben vagyunk, meg kell szorozni a leírt számot 2-nek annyiadik hatványával, amennyivel arrébb kellett vinni a kettedespontot az első 1-esig. Ez az első esetben 5, a másodikban 3. Mivel azonban kettes számrendszerben vagyunk, át kell írni ezeket a számokat is kettes számrendszerbelibe (5 = 101, 3 = 11). Emellett a kitevő lehet pozitív vagy negatív. Ez attól függ, merre vittük a kettedespontot, hogy az első egyes elé érjünk. Ha balra, akkor pozitív, ha jobbra, akkor negatív. 10110:101101 2 =0:10110101101*2 +101 vagy 0:000101101=0,101101*2-11 2. A számrendszer alapszáma rögzített, így azt nem szükséges tárolni, valamint mivel mindegyik szám 0:-tal kezdődik, így azt sem. Ezeket lehúzva kapjuk a lebegőpontos alakot úgy, hogy leírjuk a 0: utáni számot, majd pozitív kievőnél 1-et, negatívnál 0-át írunk utána, és végül leírjuk a kitevőben szereplő számot: 101101011011101, illetve 101101011

Boole-algebrai feladatok megoldása Szükséges előismeret: a logikai műveletek igazságtáblái (igaz = 1, hamis = 0) (Összefoglalva: negáció (not): ítélet értékét ellenkezőjére váltja konjunkció (and): csak akkor igaz, ha mindkét ítélet igaz diszjunkció (or): csak akkor hamis, ha mindkét állítás hamis kizáró vagy (xor): akkor igaz, ha pontosan az egyik állítás igaz impliláció (imp): akkor hamis, amikor az első állítás igaz, a második hamis) A műveletek megoldásánál a művelei sorrend sem mindegy. A legmagasabb szintű művelet a not, majd a zárójeles kifejezések, végül pedig a többi művelet ugyanazon a szinten áll. Feladat: Mi a végeredménye a következő logikai műveletsorozatnak: (not A or B) imp (A and not B) xor (not A imp not B) Kiinduló táblázat: A B 0 0 0 1 1 0 1 1 Első lépésként először az első zárójelet vizsgáljuk meg, mert a zárójeles kifejezéseket kell először megjeleníteni. A zárójelben szerepel egy negáció, azaz not művelet, és mivel ez a legmagasabb rendű, ezt kell először elvégezni: A B not A Ebben az esetben az A értékeit az ellenkezőjükre kell váltani minden sorban. 0 0 1 Ahol eredetileg 0 az érték, ott 1-re, ahol 1, ott pedig 0-ra váltunk. (Érdemes 0 1 1 figyelni arra, hogy mindig a megfelelő ítéletet nézzük (itt most az A szolgál 1 0 0 kiindulásként). Ettől kezdve a dőlt oszlopok jelölik azt, amit a művelet 1 1 0 megoldásához nézni kell, a félkövér számok pedig az eredmények. Ezek után el kell végezni a zárójeles kifejezést: A B not A not A or B 0 0 1 1 0 1 1 1 1 0 0 0 1 1 0 1 Ez a kiindulási táblázat mindig ugyanaz, a feladat megkezdésekor meg van adva. Mivel A és B ítéletek csak igaz vagy hamis értékeket vehetnek fel, így összesen 4 variációt lehet kirakni ebből a kettőből. Sorrendben: A hamis B hamis, A hamis B igaz, A igaz B hamis és A igaz B igaz. A következő lépés a második zárójel megoldása, amelyben szintén szerepel egy not művelet, amit ismét előre kell venni. Ezután az A és a not B oszlopokat nézve meg kell oldani az and műveletet (csak akkor igaz, ha mindkét ítélet igaz). A B not A not A or B not B 0 0 1 1 1 0 1 1 1 0 1 0 0 0 1 1 1 0 1 0 A B not A not A or B not B A and not B 0 0 1 1 1 0 0 1 1 1 0 0 1 0 0 0 1 1 1 1 0 1 0 0 Itt a két oszlop, amit a művelethez nézni kell, az a not A-s és a B-s. A művelet az or, azaz a vagy, amely esetben csak akkor hamis a művelet értéke, ahol mindkét ítélet hamis, a többi esetben igaz.

Miután ez elkészült, a két zárójeles kifejezés között kell elvégezni az imp műveletet. Ez az egyetlen olyan művelet, ahol nem mindegy, melyik oszlop értékeit nézzük először, és melyiket másodszor, mivel az eredmény akkor lesz hamis, ha az ELSŐ ítélet igaz és a MÁSODIK hamis. A B not A not A or B (elsőként) not B A and not B (másodikként) (not A or B) imp (A and not B) 0 0 1 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 1 1 1 1 1 0 1 0 0 0 A következő lépés a harmadik zárójel kiszámítása, amihez szükség van a not A és not B értékekre, amiket már előzőleg kiszámoltunk, így nem kell újra megoldani, egyből rátérhetünk az imp műveletre, ügyelve a sorrendre. A B not A (elsőként) not A or B not B (másodikként) A and not B (not A or B) imp (A and not B) 0 0 1 1 1 0 0 1 0 1 1 1 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 1 0 0 0 1 not A imp not B Az utolsó lépés, hogy az (első két zárójelből előállított) hosszú kifejezésünk ((not A or B) imp (A and not B)) és a harmadik zárójeles kifejezés között elvégezzük a xor műveletet (ami akkor igaz, ha pontosan az egyik ítélet igaz). Mivel a hosszú kifejezés nem fér ki, ezért kif1-fel rövidíthető. A B not A not A or B not B A and not B kif1 not A imp not B kif1 xor (not A imp not B) 0 0 1 1 1 0 0 1 1 0 1 1 1 0 0 0 0 0 1 0 0 0 1 1 1 1 0 1 1 0 1 0 0 0 1 1 Az utolsó oszlopban megkaptuk az eredményt.