Leidsid 33 sarnast õppematerjali, mis on seotud failiga "Diskreetne matemaatika I". Need materjalid aitavad sul teemat sügavamalt mõista.
muutuja, tõeväärtustabel, tuletis, 0101, 1101, 1111, karnaugh, avaldis, 1010, disjunktiivne, shannoni, teisenduse, loogikafunktsioon, 0111, 1001, 1011, konjunktiivne, normaalkuju, intervall, konstituent, vektorid, diskreetne, matemaatika, kadri, loogikafunktsiooni, matriklinumbrile, matriklinumber, kaardiga, implikant, teisendamine, kujule, tadnk, reedDiskreetne matemaatika KODUTÖÖ Mina Ise 132456 IADB?? Tallinn 2019 ÜLESANNE 1 LOOGIKAFUNKTSIOON Leian oma matriklinumbrile vastav 4-muutuja loogikafunktsioon Matriklinumbri 5 viimast numbrit: 93656 Matriklinumber kuueteistkümnendsüsteemis: 2F478 Seitsmekohaline arv: 3F58CC8 Üheksakohaline arv: 54DFF9FF8 Ühtede piirkond: 3, 5, 8, 12 ( C16 ), 15 ( F16 )/ 0011, 0101, 1000, 1100, 1111 Määramatuspiirkond : 4, 9, 13 ( D16 ) / 0100, 1001, 1101 0-de piirkond : 0, 1, 2, 6, 7, 10 ( A16 ), 11 ( B16 ), 14 ( E16 ) / 0000, 0001, 0010, 0110, 0111, 1010, 1011, 1110 𝒇(x(x1,x2,x3,x4) = ∑ ( 3, 5, 8, 12, 15 )1 ( 4, 9, 13 )_ 𝒇(x(x1,x2,x3,x4) = ∏ ( 0, 1, 2, 6, 7, 10, 11, 14 )0 2 ÜLESANNE 2 TÕEVÄÄRTUSTABEL Esitada oma loogikafunktsiooni tõeväärtustabel.
****** Detsember 2015 1. Minu matriklinumbrile (155423) vastav loogikafunktsioon oma numbrilises 10nd esituses: f(x1, x2, x3, x4) = ∑ (2, 3, 7, 8, 9, 13)1 (1, 4, 5, 14, 15)_ 2. Esitada oma loogikafunktsiooni tõeväärtustabel: x1 x2 x3 x4 f 0000 0 0001 - 0010 1 0011 1 0100 - 0101 - 0110 0 0111 1 1000 1 1001 1 1010 0 1011 0 1100 0 1101 1 1110 - 1111 - 3. Leida MDNK (McClusky meetodil) ja MKNK (Karnaugh’ kaardiga); tuvastada, kas leitud MDNK ja MKNK on teineteisega loogiliselt võrdsed või mitte. MKNK leidmine: 2 MKNK: f(x1x2 x3x4) = (x1 V x3) ( xx2 V x4) (xx1 V x2 V xx3) MDNK leidmine:
1 1 0 0 0* X 1-2 100- X 1-2 1 - 0 - A4 1-00 X 2-3 2 0011 X 2-3 0-11 A2 2-3-3-4 1 1 - - A5 1001 X 1-00 X 1 1 1 0* X 11-0 X 110- X 3 0 1 1 1* X 3-4 -111 A3 1101 X 11-1 X 1 1 1 0* X 111- X 4 1111 X 0 3 7* 8* 9 12 13 14* 15 A1 X X A2 X X A3 X X A4 X X X X
0010 1 0011 1 0100 1 0101 - 0110 - 0111 0 1000 1 1001 0 1010 0 1011 0 1100 1 1101 - 1110 - 1111 0 2 3. Leida Karnaugh' kaardi abil MDNK ja MKNK, mis sobiksid matriklinumbrist leitud osaliselt määratud 4-muutuja funktsiooni esitamiseks MDNK Karnaugh' kaardiga:
0010 1 0011 1 0100 1 0101 0 0110 1 0111 - 1000 0 1001 0 1010 0 1011 0 1100 1 1101 0 1110 0 1111 0 3. Leida MDNK ja MKNK, mis sobiksid matriklinumbrist leitud osaliselt määratud 4-muutuja funktsiooni esitamiseks. 1)MKNK Karnaugh' kaardiga
6 0 1 1 0 0 7 0 1 1 1 1 8 1 0 0 0 1 9 1 0 0 1 0 10 1 0 1 0 0 11 1 0 1 1 0 12 1 1 0 0 1 13 1 1 0 1 0 14 1 1 1 0 1 15 1 1 1 1 1 Graaf 2.1 2 LAHENDATAVAD ÜLESANDED 3. Matrikli number on paarisarvuline. Leidmine MDNK Karnaugh kaardiga ja MKNK McCluskey meetodiga. MDNK leidmine Karnaugh kaardiga. Funktsiooni (x1,x2,x3,x4)= (3, 7, 8, 12, 14, 15) (1, 2, 4, 5)_ x3x4 x1x2 00 01 11 10 00 0 - 1 - 01 - - 1 0 11 1 0 1 1 10 1 0 0 0
2 0010 x 1 x 2 x3 x 4 5 0101 x1 x2 x 3 x4 6 0110 x 1 x 2 x3 x 4 7 0111 x1 x 2 x3 x 4 9 1001 x1 x 2 x 3 x 4 13 1101 x1 x 2 x 3 x 4 TDNK: f(x1,x2,x3,x4) = x 1 x 2 x 3 x 4 x 1 x 2 x 3 x 4 x 1 x 2 x3 x 4 x 1 x 2 x 3 x 4 x 1 x 2 x3 x 4 x 1 x 2 x3 x 4 x1 x 2 x 3 x 4 x1 x 2 x 3 x 4 Ülesanne 5. Leida vabaltvalitud viisil punktis 2 saadud MKNK-ga (loogiliselt) võrdne Täielik KNK. TKNK leidmine: võtan f.-ni nullide piirkonna (koos määramatusega mida kasutati MKNK-s) kümnendnumbri ning leian kümnendnubrile vastava kahendvektori ja leian
Loogiliselt võrdsed funktsioonid väljastavad iga argumentvektori korral võrdsed väärtused. x1x2x3x4 Funktsioon f Funktsioon f1 0000 1 1 0001 1 1 0010 0 0 0011 0 0 0100 0 0 0101 0 0 0110 1 1 0111 1 1 1000 0 0 1001 1 1 1010 0 0 1011 1 1 1100 0 0 1101 1 1 1110 0 0 1111 0 0 Tabelist selgub, et funktsioon f ja funktsioon f1 on loogiliselt võrdsed. ÜLESANNE 4 Leida vabaltvalitud viisil punktis 2 saadud MDNK-ga loogiliselt võrdne Taandatud DNK ja Täielik DNK 1) Leian taandatud DNK Kannan Karnaugh' kaardile funktsiooni elemendid ning väärtustan määramatused 1-ga.
....................................................5 2.2MKNK leidmine Karnaugh' kaardiga..................................................................6 2.3 Taandatud DNK leidmine..................................................................................6 2.4 Täieliku DNK leidmine...................................................................................... 6 2.5Täieliku KNK leidmine........................................................................................7 2.6 Shannoni disjunktiivne arendus muutujatele x2x3x4 ....................................... 8 Vastused................................................................................................................8 1. Funktsiooni leidmine 1.1 Funktsiooni arvutamine Matrikli number on 010636 Pärast selle teisendamist kuueteistkümnendsüsteemi 'Windows Calculatoris' saan tulemuseks arvu 298C Leian funktsiooni ühtede piirkonna ja määramatuspiirkonna:
00 0 1 0 0 01 0 - 1 0 11 1 - 1 - 10 1 1 - - Täielik DNK : = x1 x2 x3 x4 x1 x2 x3 x2 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 x1 x2 x3 x4 5. Leian MKNK'ga loogiliselt võrdse täieliku KNK Karnaugh kaardi abil x3x4 x1x2 00 01 11 10 00 0 1 0 0 01 0 - 1 0 11 1 - 1 - 10 1 1 - - ( x1 x2 x3 x4 )( x1 x2 x3 x4 )( x1 x2 x3 x4 ) ( x1 x2 x3 x4 )( x1 x2 x3 x4 ) 6. MDNK-le Shannoni disjunktiivne arendus x4 järgi
10 1 0 0 0 x1 x2 x2 x3 x4 x1 x2 x4 MDNK: f(x1,x2,x3,x4) = 2.2 Leian McCluskey meetodiga MKNK: f(x1,x2,x3,x4) = (4,5,7,9,10,11,12,14)0 (6,15)_ Index Intervall Index Intervall Märge Index Intervall Märge Index Intervall Märge 0-1-1- - 0 - - 0-1 - - 0-1-1-2 - - 2-1-2- 2-3
DNK-d lihtsaima DNK-ni, milleks see TDNK lihtsustub. Võrrelda lihtsustamisel saadud DNK-d eelnevalt (punktis 3) leitud MDNK-ga: — kas nad on võrdsed? — kui nad pole võrdsed, siis kumb nendest on väiksema keerukusega (ehk lihtsam) avaldis ja miks? fTDNK ( 1 2x3 4) v ( 1 2x3x4) v ( 1x2 3 4) v (x1 2x3 4) = 1 2x3( 4 v x4) v ( 1x2 3 4) v (x1 2x3 4) = ( 1 2x3) v ( 1x2 3 4) v (x1 2x3 4) Funktsioon edasi ei lihtsustu. Kontrollin Karnaugh kaardiga, ignoreerides määramatuspiirkonda: 00 01 11 10 x1 x3 x2 x4 00 0 - 1 1 01 1 - 0 - 11 - 0 - - 10 0 - 0 1 Tulemus tuleb sama: fTDNK = ( 1 2x3) v ( 1x2 3 4) v (x1 2x3 4) MDNK ja DNK ei ole võrdsed
Eesti Infotehnoloogia Kolledz Digitaalloogika ja digitaalsüsteemid KODUTÖÖ Märt Erik EIK10040050 Rühm A22 Tallinn 2005 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Tehes calculator'iga nõutud ja vajalikud tehted on minu matriklinumbrile 10040050 vastav 4- muutuja loogikafunktsioon oma numbrilises 10ndesituses: f ( x1 x2 x3 x4 ) = ( 0,1,2,5,12,13)1 ( 4,6,9,11) - 2. Kirjutada välja oma matriklinumbrist leitud osaliselt määratud 4- muutuja loogikafunktsiooni tõeväärtustabel. X1 X2 X3 X4 Y 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1
Kontuuride valiku reegel tasub sõnastada lihtsustatud kujule: 01 0100 0101 0111 0110 a kõik 1-d tuleb katta (võimalikult suurte) mittelõikuvate kontuuridega k 11 1100 1101 1111 1110 (misjuhul saavad kõik 1-d olema kontuuridega kaetud 1-kordselt) h n i Katame antud kaardil kõik 1-d mittelõikuvate kontuuridega : 10 1000 1001 1011 1010 t e x 3 x4 x 3 x4 i
T Karnaugh' kaartide topoloogia 2muutuja Karnaugh' kaart on tabel mõõtmetega 2 2 (või 1 4) ruutu ; 3muutuja Karnaugh' kaart on tabel mõõtmetega 2 4 = 8 ruutu ; 4muutuja Karnaugh' kaart on tabel mõõtmetega 4 4 = 16 ruutu ; e h n ik a t või i 6 - muutuja Karnaugh' kaart v ut Karnaugh' kaartide põhiomadused r 2 - muutuja 3 - muutuja 4 - muutuja Karnaugh' kaart Karnaugh' kaart Karnaugh' kaart A Karnaugh' kaardil on 2 põhiomadust.
0 0 1 0 0 1 0 0 0 1 1 1 1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 f(x1 , x2 , x3 )= x1 x2x3 x1 x2 x3 x1x2 x3 x1x2x3 Erinevate loogikafunktsioonide f(x1 ,x2 ,...xn) arv K on 2 2 n . n=1 K=4 n=2 K=16 n=3 K=256 n=4 K=65536 n=5 K=4,3 · 109 Järgnevalt tutvume kõikvõimalike kahe muutuja funktsioonidega f(x1 , x2 ). x1 x2 f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 Tabelis on kirjeldatud järgnevad funktsioonid:
1 0 0 0 1 0 1 1 1 1 0 1 1 1 1 1 f(x1 , x2 , x3 )= x1 x2x3 x1 x2 x3 x1x2 x3 x1x2x3 n Erinevate loogikafunktsioonide f(x1 ,x2 ,...xn) arv K on 2 2 . n=1 K=4 n=2 K=16 n=3 K=256 8 n=4 K=65536 n=5 K=4,3 109 Järgnevalt tutvume kõikvõimalike kahe muutuja funktsioonidega f(x1 , x2 ). x1 x2 f0 f1 f2 f3 f4 f5 f6 f7 f8 f9 f10 f11 f12 f13 f14 f15 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 Tabelis on kirjeldatud järgnevad funktsioonid: f0 - konstant "0"
1 1 11 0 - 0 1 10 0 1 - 1 MDNK: x1 x 2 x 4 x1 x3 x 4 x1 x3 x 4 x1 x 2 x 4 x1 x 2 x3 x 4 f(x1,x2,x3,x4) = 2.2 MKNK McCluskey' meetodiga: Index Intervall Märge Index Intervall Märge Index Intervall Märge -11- A1 0 1111 X 0-1 111- X 0-1-1-2 1-1- A2 11-- A3 -110 X 1110*
...3 4. Teisenda MKNK DNK kujule.......................................................................................5 5. Leida vabaltvalitud viisil MDNK-ga loogiliselt võrdne Taandatud DNK ja Täielik DNK...................................................................................................................................6 6.MKNK-ga võrdne Täielik KNK......................................................................................7 7.Shannoni disjunktiivne arendus rohkeima muutuja järgi........................................8 8. Shannoni disjunktiivne arendus 1 muutuja järgi.....................................................8 9.Shannoni konjuktiivne arendus MDNK-le 2 muutuja järgi.......................................8 10.Tuletis kõigi nelja muutuja järgi................................................................................8 10.1.x1 järgi:................................................................................................................
10 f = ´x 3 ´x 4 v x3x4 v ´x 1 ´x x v x1x2x3 2 3 2). MKNK? f(x1, x2, x3, x4) = (1, 5, 6, 9, 10, 13)0 Indeks 1-de M Int M Int M intervall 0 - - - - - - 1 0001 X 0-01 X --01 A3 -001 X 2 0101 X -101 X 0110 A1 1-01 X 1001 X
11 0 0 0 — . . . järelikult tasub valida SUURIMAD võimalikud kontuurid, misjuhul 11 0 0 0 0 tuleb avaldisse VÄHIM arv algterme xi ehk saame minimaalseima 10 1 0 0 1 10 1 0 0 1 normaalkuju. MDNK leitud ja analüüsitud — edasi leiame samale funtsioonile MKNK x2 x4 1-de kontuuridele vastavad osaliselt määratud funktsiooni a ! KNK saadakse alati loogikafunktsiooni 0de piirkonnast !
järjestamine 0 5 10 12 13 14 „_“-de piirkond (0,5,10,13)_ Seega oleks matriklinumbrist leitud vastav 4-muutuja loogikafunktsioon oma numbrilises 10ndesituses 1-de piirkonna järgi: f ( x1...x4 ) = ∑(2,3,4,7,12,14)1 (0,5,10,13)_ Sama funktsioon 0-de piirkonna järgi: f ( x1...x4 ) = ∏(1,6,8,9,11,15)0 (0,5,10,13)_ 2. Tõeväärtustabel Matriklinumbrist leitud osaliselt määratud 4-muutuja loogikafunktsiooni tõeväärtustabel: 10-nd x1 x2 x3 x4 y 0 0 0 0 0 - 1 0 0 0 1 0 2 0 0 1 0 1 3 0 0 1 1 1 4 0 1 0 0 1
Tallinn 2012 1. Leida oma matriklinumbrile vastav 4-muutuja loogikafunktsioon. Matrikli number 10. süsteemis: 121055 Matrikli number 16. Süsteemis: 8-kohaline arv: 2F572B3F 4-muutuja loogikafunktsiooni 1de piirkond: 2, 15, 5, 7, 11, 3 2F572B3F/11=2C8E46D Määramatuspiirkond: 12, 8, 14, 4, 6, 13 (x1...x4) = (2, 3, 5, 7, 11, 15)1 (4, 6, 8, 12, 13, 14)_ 2. Leida MDNK ja MKNK, mis sobiksid matriklinumbrist leitud osaliselt määratud 4- muutuja funktsiooni esitamiseks. X3,X4 00 01 11 10 X1,X2 00 0 0 1 1 01 - 1 1 - 11 - - 1 - 10 - 0 1 0 __ (X1,X2,X3,X4)=( X2 X3 X4 X1 X3) - MDNK Index Number Märge Index Nr.d Vahe M Index Nr.d Vah M
0 - 0 0 0 0 0 => x1=1 x2=1 - 1 - 1 MKNK :( x 1 v x 2 v x 3)(x 1 v x´2 v x´3)( x´1 v x´2) MDNK McCluskey' meetodiga 2 f(x1 ... x4) = (2, 3, 4, 5, 9, 10)1 (7, 8, 11, 13)_ (0, 1, 6, 12, 14, 15)0 Indek Intervall Märgen Indeks Intervall Märgen Indek Interval Märgen s d d s l d 1 0010 (2) X 1-2 001- X 1-2 -01- A6 0100 (4) X -010 X 2-3 10-- A7 1000 (8) * X 010- A1
...................... 5 1.4 — eelkirjeldatud viisil toimides saadud ja hetkel kalkulaatoris näidatava 16ndarvu tuleb korrutada 7-ga veel niimitu korda, kuni arv kasvab 9-järguliseks — ehk tuleb vajutada järjest =-märki veel paar korda, kuni 16ndarv kasvab 9- kohaliseks:........................................................................................................... 7 2. Kirjutada välja oma matriklinumbrist leitud osaliselt määratud 4-muutuja loogikafunktsiooni tõeväärtustabel.........................................................................8 3. Leida MDNK (minimaalne DNK) ja MKNK (minimaalne KNK), mis sobiksid matriklinumbrist leitud osaliselt määratud 4-muutuja funktsiooni esitamiseks......8 4. Kirjutada oma funktsiooni 1-de piirkonnast välja täielik DNK (TDNK) (ignoreerides määramatuspiirkonda)...................................................................10 5. Lihtsustada loogikaalgebra põhiseoste abil eelnevalt leitud täielikku DNK-d
f3 142438 * 11 * 11 * 11 * 11 = 2 085 434 758 = 7C4D 3586 => Σ(3,4,5,6,7,8,12,13) 2 085 434 758 / 3 = 695 144 919 = 296F 11D7 => (1,2,9,14,16)- f4 142438 * 13 * 13 * 13 = 312 936 286 = 12A7 075E => Σ(0,1,2,5,7,10,15) 312 936 286 / 3 = 104 312 095 = 637 AD1F => (3,6,14,16)- Minimeerimine Lähte- espresso tulemus espr. v2 (-Dexact) espr. v3 (#0100) espr. v4 (#0110) ülesanne 0000 0101 -001 0100 -001 1000 --00 0100 --00 0100 0001 11-1 -100 1100 -01- 0100 000- 0110 0-1- 0010 0010 01-1 1-11 1001 01-0 0110 1-0- 0001 -011 1101 0011 0-1- 10-0 0011 -111 1001 -011 1101 00-- 0100 0100 -110 010- 1010 10-0 1100 -1-0 1001 1-0- 0011 0101 0011 -1-1 0010 1-0- 0010 0--0 1100 -10- 1010
x1x2 00 01 11 10 00 0 1 1 1 01 1 0 0 1 11 1 0 0 0 10 1 1 0 0 x 2 x3 x 4 6.Shannoni disjunktiivne arendus muutujate järgi: x1 x3 x 4 x 2 x3 x 4 x1 x 2 x3 x 2 x 4 x 2 x 3 x 4 ( x1 ) x 2 x 3 x 4 ( x1 1) x 2 x3 x 4 ( x1 ) x 2 x 3 x 4 (1) x 2 x3 x 4 (1) x 2 x3 x 4 ( x 1 ) x 2 x 3 x 4 (0) x 2 x3 x 4 (0) x1 x 2 7. Shannoni disjunktiivne arendus muutujate järgi:
1 0 1 0 (10) 0 - 1 1 (3 / 7) - - 1 1 (3 / 7 / 11 / 15) 1 0 1 1 (11) 0 1 1 - (6 / 7 ) 0 1 1 1 (7 ) 1 0 1 - (10 / 11) 1 1 1 1 (15) 1 - 1 1 (11 / 15) - 1 1 1 (7 / 15) : -000, 0-00, 10-0, 101-, 01--,--11 0101 0100 1011 1111 0011 0110 -000 0 0 0 0 0 0 0-00 0 1 0 0 0 0 10-0 0 0 0 0 0 0 101- 0 0 1 0 0 0
1 1 0 1 (2) (3) (7) (6) x1 x3 x4 x2 , | - | 0. : K , . 1010 0101 1000 1111 1111 1010 1011 1101 1110 0111 1-1- -1-1 10-0 : ( x 2 x 4 )( x1 x3 )( x1 x2 x4 ) 2) : M 0 M - x1 x2 x3 x4 1 0 0 0 (8) 1 0 1 0 (10) x1 x2 x3 x4 1 0 1 1 (11) M0 =
x ( TaDNK ) k 0 0 1 1 0 n i MDNK ja TaDNK võivad olla (osadel funktsioonidel) sama avaldis. h 1 1 1 0 0 Kui MDNK ja TaDNK on teineteisest erinevad avaldised, siis MDNK t e sisaldub TaDNK sees. i . . . . on 7 implikanti : t
1 1 0 0 - 1 1 0 1 - 1 1 1 0 1 1 1 1 1 - 3) MDNK Karnaugh’ kaardi abil: x3 x1 x4 00 01 11 10 x2 00 1 0 - 1 01 0 0 0 0 11 - - - 1 10 0 1 1 - MDNK ¿ f ( x 1 … x 4 )=´x 1 ´x 2 x´ 4 V x 1 x 4 V x 1 x3 MKNK McCluskey meetodi abil: Indeks Intervall Märge Indeks Intervallid Märge Indeks Intervall Märge 0 - 0-1 - 0-1-1-2 - 1 0001 (1) x 1-2 00-1* x 1-2-2-3 0--1* A3 0100 (4) x 0-01 x 01-- A4 1000 (8) x 010- x -10-* A5
2 0011* X 001- X --10 X 0101 X 0-10 X 2-3-3-4 --11 X 0110 X -010 X -11- X 1010* X 10-0* X 1-1- X 3 0111* X 2-3 0-11* X 1011 X -011X X 1110* X 01-1 X 011- X 4 1111 X -110 X 101- X 1-10 X 3-4 -111 X 1-11 X 111- X Katteülesande lahendamine: i 0 2 5 6 1 15 1 A1 X X A2 X X A3 X A4 X X X X Siit saan välja kirjutada kaks minimaalset disjunktiivset normaalkuju:
(0/2/8/10) -- 0 -- 0 (8/12/10/14/8/10/12/14) 1 -- -- 0 (8/9/12/13) 1 -- 0 -- (7) 0 1 1 1 (8/12/9/13) 1 -- 0 -- . . (8/10/12/14) 1 -- -- 0 (8/12/10/14) 1 -- -- 0 (7) 0 1 1 1 . . -- (X2 v X3)(X2 v X4)(X1 v X3)(X1 v X4)(X1 v X2 v X3 v X4) · II 0 0001 0010 1001 1100 1101 1110 --00-- 1 0 1 0 0 0 --0--0 0 1 0 0 0 0 1--0-- 0 0 1 1 1 0 1----0 0 0 0 1 0 1 0111 0 0 0 0 0 0 . -- (X2 v X3)(X2 v X4)(X1 v X3)(X1 v X4) 2. . ( «--»). · I