Dat is zo bij de inclusieve disjunctie. Dat wil zeggen: de lamp is uit dan en slechts dan als A ingedrukt is of als B en C ingedrukt zijn.
Laten we dat L
i noemen. Dus:
\(\overline {L_i} = A + B.C\)
In het geval de
exclusieve disjunctie is bedoeld, moet je de "+" door "
\(\oplus\)
" vervangen. Dan krijg je dat de lamp uit is dan en slechts dan als óf A ingedrukt is óf als B en C ingedrukt zijn (maar
niet als zowel A ingedrukt is als B en C ingedrukt zijn).
Laten we dat L
e noemen. Dus:
\(\overline {L_e} = A \oplus B.C\)
Ik zal L
i even voor doen:
\(\overline {L_i} = A + B.C\)
\(\overline {\overline {L_i}} = \overline {A + B.C}\)
\(L_i = \overline {A + B.C}\)
\(L_i = \overline A . (\overline {B.C})\)
\(L_i = \overline A . (\overline B + \overline C)\)
\(L_i = \overline A . \overline B + \overline A . \overline C\)
Kan je nu zelf L
e afleiden?