deletions | additions       diff --git a/Beispiel_b_wedge_bar_c__.tex b/Beispiel_b_wedge_bar_c__.tex  index 377d96b..cea83fc 100644  --- a/Beispiel_b_wedge_bar_c__.tex  +++ b/Beispiel_b_wedge_bar_c__.tex 
...
$\mathrm{I:}$ $a[b[c[(\bar 1 ) \vee (0 \vee \bar 1)]]] \vee \Rightarrow abc \wedge 0 \Rightarrow 0$\\  $\mathrm{II:}$ $a[b[\bar c[(\bar 0 ) \vee (0 \vee \bar 0)]]] \vee \Rightarrow ab\bar c \wedge 1 \Rightarrow ab\bar c$\\  $\mathrm{III:}$ $\bar a[b[c[\bar 1 \vee 0]]] \Rightarrow \bar a bc \wedge 0 \Rightarrow 0$\\  $\mathrm{IV:}$ $\bar a[b[\bar c[\bar 0 \vee 0]]] \Rightarrow \bar a b \bar c \wedge 0 1  \Rightarrow 0$ \bar a b \bar c$  DNF:  $ab\bar c$ \checkmark $(ab\bar c) or (\bar a b \bar c)$  $b and \bar c$\checkmark