deletions | additions       diff --git a/Beispiel_b_wedge_bar_c__.tex b/Beispiel_b_wedge_bar_c__.tex  index b5d0d74..377d96b 100644  --- a/Beispiel_b_wedge_bar_c__.tex  +++ b/Beispiel_b_wedge_bar_c__.tex 
...
Entwickeln nach b:  $\mathrm{I:}$ $a[b[(1\bar c ) \vee ((c\bar 1 \vee \bar c 1)11)]] \vee a[\bar b[(0\bar c ) \vee ((c\bar 0 \vee \bar c 0))10]] 0))01]]  \vee $\\ $\mathrm{II:}$ $\bar a[b[(1\bar c ) \vee ((c\bar 1 \vee \bar c 1))01]] 1))10]]  \vee \bar a[\bar b[(0\bar c ) \vee ((c\bar 0 \vee \bar c 0)00)]]$ $\mathrm{I:}$ $a[b[(1\bar c ) \vee (c\bar 1 \vee \bar c 1)]] \vee a[\bar b[(0\bar c ) \vee (c\bar 0 \vee \bar c 0)0]] \vee $\\  $\mathrm{II:}$ $\bar a[b[(1\bar c ) \vee (c\bar 1 \vee \bar c 1)0]] \vee \bar a[\bar b[(0\bar c ) \vee (c\bar 0 \vee \bar c 0)0]]$