Logik.sh

!/bin/bash
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
</HighlightSyntax>
Recent changes
