Logik.sh

 for A in false true; do for B in false true do   for C in false true; do     for D in false true; do     # for E in false true; # do     x=0 # 1     # (($A && $B) || ($A && $C)) || x=1 # 2     # ($C || $B) && ($A || $C) || x=1 # 3     # (($A && $B) || ($C && $D) || ($D && $A) || ($E && $C)) || x=1 # 4     # (($A && $B) || ($B && $A)) || x=1 # 5     # ((! $A || $B || $D ) && (! $A || $C || $E)) || x=1 # 6     # ((($A && $B) || $C) && (($A || $B) || $D)) || x=1 # 7     # (($A || $B || $D) && ($A || $B || $E)) || x=1 # 8     # (($A || $B) && ($A && $C)) || x=1 # 9     # (($B && $C) || ($B && ! $C)) || x=1 # 10     (($A || ! $B) && ($A || $B)) || x=1 y=0 # 1     # ($A && ($B || $C)) || y=1 # 2     # ($C || ($B && $A)) || y=1 # 3     # (($A && ($B || $D)) || ($C && ( $D || $E))) || y=1 # 4     # ($A && $B) || y=1 # 5     # (! $A || (($B || $D) && ($E || $C))) || y=1 # 6     # (($A && $B) || ($C && ($A || $B || $D))) || y=1 # 7     # ($A || $B || ($D && $E)) || y=1 # 8     # ($A && $C) || y=1 # 9     # $B || y=1 # 10     $A || y=1 if [ $x -eq $y ] then echo "ok" else echo "FALSCH - Belegung: A: $A, B: $B, C: $C, D: $D" fi    done 
 * 1) !/bin/bash