pqp&qpqp&q 111ttt 100tvv 010vtv 000vvv Lausete konjunktsioon sarnaneb korrutamisele, kusjuures tabel 7.5 kujutab endast täielikku korrutustabelit (kui tõlgendada p-d ja q-d muutujatena tõeväärtuste hulgal), sest rohkem elemente seal lihtsalt pole. Konjunktsiooni võib piltlikult võrrelda kaht paralleelselt voolavat jõge ületavate sildadega. Selleks, et kuiva jalaga üle mõlema jõe saada, peavad mõlemad sillad terved olema. 7 DISUNKTSIOON (disjunction) Tõeväärtuste Boole’i algebras defineeritakse muutujate p ja q disjunktsioon kui binaarne tehe, mille tulem on suurim operandide väärtustest: p ∨ q = max (p, q). Disjunktsiooni kui lausearvutuse tehte tulemi tõeväärtus on sellele tehtele vastava tõeväärtusfunktsiooniga määratud. Ka disjunktsiooni korral pole tulemi tõeväärtus tehte kirjeldamiseks piisav. Lausete p ja q disjunktsioon on konkreetse kujuga lause, mille ehituse määrab see, et ta on just lausete
5 kujutab endast täielikku korrutustabelit (kui tõlgendada p-d ja q-d muutujatena tõeväärtuste hulgal), sest rohkem elemente seal lihtsalt pole. Konjunktsiooni võib piltlikult võrrelda kaht paralleelselt voolavat jõge ületavate sildadega. Selleks, et kuiva jalaga üle mõlema jõe saada, peavad mõlemad sillad terved olema. 7 DISUNKTSIOON (disjunction) Tõeväärtuste Boole'i algebras defineeritakse muutujate p ja q disjunktsioon kui binaarne tehe, mille tulem on suurim operandide väärtustest: p q = max (p, q). Disjunktsiooni kui lausearvutuse tehte tulemi tõeväärtus on sellele tehtele vastava tõeväärtusfunktsiooniga määratud. Ka disjunktsiooni korral pole tulemi tõeväärtus tehte kirjeldamiseks piisav. Lausete p ja q disjunktsioon on konkreetse kujuga lause, mille ehituse määrab see, et ta on just lausete