Die ganze Wahrheit: Boole'sches mit Perl

Ein kleines Perl-Script kann bei der Erstellung von Wahrheitstabellen f�r Boole'sche Ausdr�cke sehr behilflich sein. Das "h�ndische" Erstellen einer solchen Tabelle zur Bestimmung der Werte eines Boole'schen Ausdruckes kann ja bei mehr als vier Variablen schon sehr aufwendig werden, da die maximale Anzahl der Kombinationen von Variablenbelegungen 2^n (n = Anzahl der Variablen) ist. Mit dem kleinen Script "bool.pl" weiter unten ist es m�glich, die ganze Arbeit von Perl erledigen zu lassen. Das Script akzeptiert als Eingabe einen Boole'schen Ausdruck (| steht f�r OR und & f�r AND). Die Ausgabe ist ein Script, welches f�r den eingegebenen Ausdruch ein Script zur Erzeugung einer Wahrheitstabelle erzeugt.

Ein kleines Beispiel dazu: Der Aufruf

# bool.pl '(a | b) & c'

liefert als Ausgabe das Perl-Script:

print "a b c  (a | b) & c\n";

foreach $a (0..1) {
  foreach $b (0..1) {
    foreach $c (0..1) {
      print "$a $b $c  ",(($a | $b) & $c),"\n";
    }
  }
}

F�hrt man dieses Script aus, so erh�lt man als Ausgabe die folgende "Wahrheitstabelle" f�r (a OR b) AND c:

a b c  (a | b) & c
0 0 0  0
0 0 1  0
0 1 0  0
0 1 1  1
1 0 0  0
1 0 1  1
1 1 0  0
1 1 1  1

Nat�rlich is es m�glich, die Tabelle beispielsweise mit "eval" sofort ausgeben zu lassen, und den Aufruf zu vereinfachen. Der Fantasie sind ja bei Perl keine Grenzen gesetzt. Hier nun das Script:

#!/usr/bin/perl
use strict;
use warnings;

my %vars;
my @vars;

my $expr = $ARGV[0];
my $vars = $expr;
my $spc = 0;
my $line = "";

$vars =~  s/[\|\&\(\)]//g;
@vars = split /\s+/, $vars;

foreach (@vars) {
  next if $vars{$_};
  $vars{$_} = $_;
}

print "print \"";

foreach my $var (sort keys %vars) {
  print "$var ";
}

print " $expr\\n\";\n\n";

foreach my $var (sort keys %vars) {
  printspc(+2);
  print 'foreach $'.$var." (0..1) {\n";
  $expr =~ s/$var/\$$var/g;
  $line .= "\$$var ";
}

printspc(0);
print "print \"$line \",($expr),\"\\n\";\n";

foreach my $var (sort {$b cmp $a} keys %vars) {
  printspc(-2);
  print "}\n";
}

sub printspc {
  if ($_[0] < 0) {
    $spc += $_[0];
    print " " x $spc;
  } else {
    print " " x $spc;
    $spc += $_[0];
  }
}

www.mucker.at

Die ganze Wahrheit: Boole'sches mit Perl