Kasutaja:Rannilo/Välistav disjunktsioon: erinevus redaktsioonide vahel

Eemaldatud sisu Lisatud sisu
Rannilo (arutelu | kaastöö)
Resümee puudub
Rannilo (arutelu | kaastöö)
tagasiside
41. rida:
| 1 || 1 || 0
|}
* '''<math>\oplus</math>''', plussmärk, millel on ring ümber; seda sümbolit kasutatakse matemaatikas ka ''direct sum''otsesumma jaoks.
* '''<samp>J</samp>''', nagu J''pq''
* Kasutatakse ka tavalise disjunktsiooni sümbolit (<math>\lor</math>), mida on mingil moel muudetud, nagu järgnevalt
77. rida:
 
: <math>\begin{matrix}
p \oplus q & =\equiv & (p \lor q) \land \lnot (p \land q)
\end{matrix}</math>
 
83. rida:
 
: <math>\begin{matrix}
p \oplus q & =\equiv & (p \land \lnot q) & \lor & (\lnot p \land q) \\[3pt]
& =\equiv & ((p \land \lnot q) \lor \lnot p) & \and & ((p \land \lnot q) \lor q) \\[3pt]
& =\equiv & ((p \lor \lnot p) \land (\lnot q \lor \lnot p)) & \land & ((p \lor q) \land (\lnot q \lor q)) \\[3pt]
& =\equiv & (\lnot p \lor \lnot q) & \land & (p \lor q) \\[3pt]
& =\equiv & \lnot (p \land q) & \land & (p \lor q)
\end{matrix}</math>
 
96. rida:
\end{matrix}</math>
: <math>\begin{matrix}
p \oplus q & =\equiv & (p \land \lnot q) \lor (\lnot p \land q)
\end{matrix}</math>
: <math>\begin{matrix}
p \oplus q & =\equiv & (p \lor q) \land (\lnot p \lor \lnot q)
\end{matrix}</math>
:
110. rida:
 
: <math>\begin{matrix}
p \oplus q & =\equiv & (p \land \lnot q) & \lor & (\lnot p \land q) & = & p\overline{q} + \overline{p}q \\[3pt]
& =\equiv & (p \lor q) & \land & (\lnot p \lor \lnot q) & = & (p + q)(\overline{p} + \overline{q}) \\[3pt]
& =\equiv & (p \lor q) & \land & \lnot (p \land q) & =\equiv & (p + q)(\overline{pq})
\end{matrix}</math>
 
214. rida:
'''Mitte[[lineaarsus]]: 0''' (funktsioon on lineaarne)
 
Kasutades binaarseid väärtuseid tõese (1) ja väära (0) jaoks, siis käitub välistav disjunktsioon täpselt nagu additionliitmine modulomooduli 2 järgi.
 
=="Välistav või" loomulikus keeles==