import java.applet.Applet;
import java.awt.*;
import java.awt.event.*;
import java.awt.Graphics;
import java.lang.Math;
import java.util.*;

public class LogikFormeln extends Applet
{
  Panel_table_wert ptw;
  Panel_normalform pnf;
  Panel_einzel_wert pew;
  TextField eingabe;
  TextField var_eingabe;

  Panel links, rechts, links_oben, links_unten, links1,links2;

  boolean [] var;
  char [] var_char;
  boolean ergebniss;
  boolean [] table_ergebniss;
  boolean [][] table_var;

  public void init()
  {
    pew=new Panel_einzel_wert(this);
    ptw=new Panel_table_wert(this);
    pnf=new Panel_normalform(this);

    links1=new Panel();
    links2=new Panel();
    links=new Panel();
    rechts=new Panel();
    links_oben=new Panel();
    links_unten=new Panel();

    setBackground(Color.white);
    setLayout(new GridLayout(1,2));
    add(links);
    add(rechts);

    links.setLayout(new GridLayout(2,1));

    links.add(links1);
    links.add(links2);

    links1.setLayout(new BorderLayout());
    links1.setBackground(new Color(204,148,205));
    links1.add(links_oben,BorderLayout.NORTH);
    links1.add(pnf,BorderLayout.CENTER);

    eingabe = new TextField(50);
    Label bitte=new Label("Bitte hier aussagenlogische Formel eingeben:");
    Button normalform=new Button("Ergebniss anzeigen");
    normalform.setBackground(Color.lightGray);

    links_oben.setLayout(new GridLayout(3,1));
    links_oben.add(bitte);
    links_oben.add(eingabe);
    links_oben.add(normalform);

    links2.setLayout(new BorderLayout());
    links2.setBackground(new Color(204,148,0));
    links2.add(links_unten,BorderLayout.NORTH);
    links2.add(pew,BorderLayout.CENTER);
    links_unten.setLayout(new GridLayout(3,1));
    Button wert=new Button("Die Wert anzeigen");
    wert.setBackground(Color.lightGray);
    Label bitte1=new Label("Bitte hier die Wert der Variable eingeben:");
    var_eingabe=new TextField(50);
    links_unten.add(bitte1);
    links_unten.add(var_eingabe);
    links_unten.add(wert);

    rechts.setBackground(new Color(141,233,164));
    rechts.setLayout(new BorderLayout());
    Button table_wert=new Button("Wascheiliche Wert anzeigen");
    table_wert.setBackground(Color.lightGray);
    rechts.add(table_wert, BorderLayout.NORTH);
    rechts.add(ptw, BorderLayout.CENTER);

    normalform.addActionListener(new ActionListener()  //得到Normalform
    {
      public void actionPerformed(ActionEvent e)
      {
        String formeln;
        formeln=eingabe.getText();

////////////////////////去掉字符串中的空格开始/////////////////////////////////////
        StringTokenizer leer_entfernen=new StringTokenizer(formeln," ");
        String[] eingabe=new String[leer_entfernen.countTokens()];
        for(int i=0;i<eingabe.length;i++)
           eingabe[i]=leer_entfernen.nextToken();
        formeln="  ";
        for(int i=0;i<eingabe.length;i++)
           formeln +=eingabe[i];
        formeln=formeln.trim();     //将字符串前面的空格去掉

////////////////////////去掉字符串中的空格结束/////////////////////////////////////

        StringTokenizer st=new StringTokenizer(formeln,"+");
        String [] polynom=new String[st.countTokens()];

        for(int i=0; i<polynom.length;i++)
           polynom[i]=st.nextToken();

        int formeln_lange=formeln.length();
        int wieviel_buchstabe=0;
        int wieviel_var=0;

        for(int i=0; i<formeln_lange; i++) //看看输入的字符串里有多少个字母
        {
          if((formeln.charAt(i)>=65)&&(formeln.charAt(i)<=90))
            wieviel_buchstabe++;
        }

        char [] buchstabe=new char[wieviel_buchstabe];
        wieviel_var=wieviel_buchstabe;

        for(int i=0, j=0; i<formeln_lange; i++) //把输入的字符串里的字母存到一个字符串数组里
        {
          if((formeln.charAt(i)>=65)&&(formeln.charAt(i)<=90))
          {
            buchstabe[j]=formeln.charAt(i);
            j++;
          }
        }

        int n=-1;

        for(char i='A'; i<='Z'; i++) //看看有多少变量
        {
          n=-1;
          for(int j=0; j<wieviel_buchstabe; j++)
          {
            if(i==buchstabe[j])
            {
              n++;
            }
          }
          if(n!=-1) wieviel_var=wieviel_var-n;
        }

        int zeile=1;
        for(int i=0; i<wieviel_var; i++)
           zeile=zeile*2;
        var_char=new char[wieviel_var];
        table_var=new boolean[zeile][wieviel_var];
        table_ergebniss=new boolean[zeile];

        int k=0;

        for(char i='A'; i<='Z'; i++) //确定变量字符
        {
          for(int j=0; j<wieviel_buchstabe; j++)
          {
            if(i==buchstabe[j])
            {
              var_char[k]=i;
              k++;
              break;
            }
          }
        }

        int rest, zaehler;
        for(int i=0; i<zeile; i++)
        {
          zaehler=i;
          for(int j=wieviel_var-1; j>=0; j--)
          {
            rest=zaehler%2;
            if(rest==1) table_var[i][j]=true;
            else table_var[i][j]=false;
            zaehler=zaehler/2;
          }
        }

        for(int j=0; j<zeile; j++)
        {
          if((polynom[0].charAt(0)>='A')&&(polynom[0].charAt(0)<='Z')) //给ergebniss赋初值
          {
            if(test_stein(polynom[0]))
            {
              for(int i=0; i<wieviel_var; i++)
              {
                if(var_char[i]==polynom[0].charAt(0)) table_ergebniss[j]=table_var[j][i];
              }
            }
            else table_ergebniss[j]=rechnen1(polynom[0],0,wieviel_var,j);
          }
          else
          {
            if(test_stein(polynom[0]))
            {
              for(int i=0; i<wieviel_var; i++)
              {
                if(var_char[i]==polynom[0].charAt(1)) table_ergebniss[j]=!table_var[j][i];
              }
            }
            else table_ergebniss[j]=rechnen1(polynom[0],0,wieviel_var,j);
          }
             
          for(int i=0; i<polynom.length; i++) //求结果是多少
          {
            if(test_stein(polynom[i]))
            {
              table_ergebniss[j]=table_ergebniss[j] | vergleich1(polynom[i],0,wieviel_var,j);
            }
            else{
                  table_ergebniss[j]=table_ergebniss[j] | rechnen1(polynom[i],0,wieviel_var,j);
                }
          }
        }
             
        pnf.malefunk();
      }
    });  //得到Normalform结束

    wert.addActionListener(new ActionListener() //得到个别值
    {
      public void actionPerformed(ActionEvent e)
      {
        String wert_eingabe;
        wert_eingabe=var_eingabe.getText();

////////////////////////去掉字符串中的空格开始/////////////////////////////////////
        StringTokenizer leer_entfernen_wert=new StringTokenizer(wert_eingabe," ");
        String[] subStr=new String[leer_entfernen_wert.countTokens()];
        for(int i=0;i<subStr.length;i++)
           subStr[i]=leer_entfernen_wert.nextToken();
        wert_eingabe="  ";
        for(int i=0;i<subStr.length;i++)
           wert_eingabe +=subStr[i];
        wert_eingabe=wert_eingabe.trim();     //将字符串前面的空格去掉

////////////////////////去掉字符串中的空格结束/////////////////////////////////////

        StringTokenizer st1=new StringTokenizer(wert_eingabe,",");
        String [] var_wert=new String[st1.countTokens()];

        for(int i=0; i<var_wert.length;i++)
           var_wert[i]=st1.nextToken();

        String formeln;
        formeln=eingabe.getText();

////////////////////////去掉字符串中的空格开始/////////////////////////////////////
        StringTokenizer leer_entfernen=new StringTokenizer(formeln," ");
        String[] eingabe=new String[leer_entfernen.countTokens()];
        for(int i=0;i<eingabe.length;i++)
           eingabe[i]=leer_entfernen.nextToken();
        formeln="  ";
        for(int i=0;i<eingabe.length;i++)
           formeln +=eingabe[i];
        formeln=formeln.trim();     //将字符串前面的空格去掉

////////////////////////去掉字符串中的空格结束/////////////////////////////////////

        StringTokenizer st=new StringTokenizer(formeln,"+");
        String [] polynom=new String[st.countTokens()];

        for(int i=0; i<polynom.length;i++)
           polynom[i]=st.nextToken();

        int formeln_lange=formeln.length();
        int wieviel_buchstabe=0;
        int wieviel_var=0;

        for(int i=0; i<formeln_lange; i++) //看看输入的字符串里有多少个字母
        {
          if((formeln.charAt(i)>=65)&&(formeln.charAt(i)<=90))
            wieviel_buchstabe++;
        }

        char [] buchstabe=new char[wieviel_buchstabe];
        wieviel_var=wieviel_buchstabe;

        for(int i=0, j=0; i<formeln_lange; i++) //把输入的字符串里的字母存到一个字符串数组里
        {
          if((formeln.charAt(i)>=65)&&(formeln.charAt(i)<=90))
          {
            buchstabe[j]=formeln.charAt(i);
            j++;
          }
        }

        int n=-1;

        for(char i='A'; i<='Z'; i++) //看看有多少变量
        {
          n=-1;
          for(int j=0; j<wieviel_buchstabe; j++)
          {
            if(i==buchstabe[j])
            {
              n++;
            }
          }
          if(n!=-1) wieviel_var=wieviel_var-n;
        }

        var_char=new char[wieviel_var];
        var=new boolean[wieviel_var];

        int k=0;

        for(char i='A'; i<='Z'; i++) //确定变量字符
        {
          for(int j=0; j<wieviel_buchstabe; j++)
          {
            if(i==buchstabe[j])
            {
              var_char[k]=i;
              k++;
              break;
            }
          }
        }

        for(int i=0; i<var_wert.length; i++)
        {
          for(int j=0; j<var_char.length; j++)
          {
            if(var_wert[i].charAt(0)==var_char[j])
            {
              if(var_wert[i].charAt(2)=='0') var[j]=false;
              else var[j]=true;
            }
          }
        }
             
        if((polynom[0].charAt(0)>='A')&&(polynom[0].charAt(0)<='Z')) //给ergebniss赋初值
        {
          if(test_stein(polynom[0]))
          {
            for(int i=0; i<wieviel_var; i++)
            {
              if(var_char[i]==polynom[0].charAt(0)) ergebniss=var[i];
            }
          }
          else ergebniss=rechnen(polynom[0],0,wieviel_var);
        }
        else
        {
          if(test_stein(polynom[0]))
          {
            for(int i=0; i<wieviel_var; i++)
            {
              if(var_char[i]==polynom[0].charAt(1)) ergebniss=!var[i];
            }
          }
          else ergebniss=rechnen(polynom[0],0,wieviel_var);
        }
             
        for(int i=0; i<polynom.length; i++) //求结果是多少
        {
          if(test_stein(polynom[i]))
          {
            ergebniss=ergebniss | vergleich(polynom[i],0,wieviel_var);
          }
          else{
                ergebniss=ergebniss | rechnen(polynom[i],0,wieviel_var);
              }
        }
             
        pew.malefunk();
             
      }
    }); //得到个别值结束

    table_wert.addActionListener(new ActionListener() //画真值表
    {
      public void actionPerformed(ActionEvent e)
      {
        String formeln;
        formeln=eingabe.getText();

////////////////////////去掉字符串中的空格开始/////////////////////////////////////
        StringTokenizer leer_entfernen=new StringTokenizer(formeln," ");
        String[] eingabe=new String[leer_entfernen.countTokens()];
        for(int i=0;i<eingabe.length;i++)
           eingabe[i]=leer_entfernen.nextToken();
        formeln="  ";
        for(int i=0;i<eingabe.length;i++)
           formeln +=eingabe[i];
        formeln=formeln.trim();     //将字符串前面的空格去掉

////////////////////////去掉字符串中的空格结束/////////////////////////////////////

        StringTokenizer st=new StringTokenizer(formeln,"+");
        String [] polynom=new String[st.countTokens()];

        for(int i=0; i<polynom.length;i++)
           polynom[i]=st.nextToken();

        int formeln_lange=formeln.length();
        int wieviel_buchstabe=0;
        int wieviel_var=0;

        for(int i=0; i<formeln_lange; i++) //看看输入的字符串里有多少个字母
        {
          if((formeln.charAt(i)>=65)&&(formeln.charAt(i)<=90))
            wieviel_buchstabe++;
        }

        char [] buchstabe=new char[wieviel_buchstabe];
        wieviel_var=wieviel_buchstabe;

        for(int i=0, j=0; i<formeln_lange; i++) //把输入的字符串里的字母存到一个字符串数组里
        {
          if((formeln.charAt(i)>=65)&&(formeln.charAt(i)<=90))
          {
            buchstabe[j]=formeln.charAt(i);
            j++;
          }
        }

        int n=-1;

        for(char i='A'; i<='Z'; i++) //看看有多少变量
        {
          n=-1;
          for(int j=0; j<wieviel_buchstabe; j++)
          {
            if(i==buchstabe[j])
            {
              n++;
            }
          }
          if(n!=-1) wieviel_var=wieviel_var-n;
        }

        int zeile=1;
        for(int i=0; i<wieviel_var; i++)
           zeile=zeile*2;
        var_char=new char[wieviel_var];
        table_var=new boolean[zeile][wieviel_var];
        table_ergebniss=new boolean[zeile];

        int k=0;

        for(char i='A'; i<='Z'; i++) //确定变量字符
        {
          for(int j=0; j<wieviel_buchstabe; j++)
          {
            if(i==buchstabe[j])
            {
              var_char[k]=i;
              k++;
              break;
            }
          }
        }

        int rest, zaehler;
        for(int i=0; i<zeile; i++)
        {
          zaehler=i;
          for(int j=wieviel_var-1; j>=0; j--)
          {
            rest=zaehler%2;
            if(rest==1) table_var[i][j]=true;
            else table_var[i][j]=false;
            zaehler=zaehler/2;
          }
        }

        for(int j=0; j<zeile; j++)
        {
          if((polynom[0].charAt(0)>='A')&&(polynom[0].charAt(0)<='Z')) //给ergebniss赋初值
          {
            if(test_stein(polynom[0]))
            {
              for(int i=0; i<wieviel_var; i++)
              {
                if(var_char[i]==polynom[0].charAt(0)) table_ergebniss[j]=table_var[j][i];
              }
            }
            else table_ergebniss[j]=rechnen1(polynom[0],0,wieviel_var,j);
          }
          else
          {
            if(test_stein(polynom[0]))
            {
              for(int i=0; i<wieviel_var; i++)
              {
                if(var_char[i]==polynom[0].charAt(1)) table_ergebniss[j]=!table_var[j][i];
              }
            }
            else table_ergebniss[j]=rechnen1(polynom[0],0,wieviel_var,j);
          }
             
          for(int i=0; i<polynom.length; i++) //求结果是多少
          {
            if(test_stein(polynom[i]))
            {
              table_ergebniss[j]=table_ergebniss[j] | vergleich1(polynom[i],0,wieviel_var,j);
            }
            else{
                  table_ergebniss[j]=table_ergebniss[j] | rechnen1(polynom[i],0,wieviel_var,j);
                }
          }
        }
             
        ptw.malefunk();
      }
    });  //画真值表结束
  } //end of init

  public boolean rechnen(String st, int stelle, int wieviel_var)
  {
    boolean var_hilf;
    if(stelle==(st.length()-1))
    {
      var_hilf=vergleich(st,stelle,wieviel_var);
      return var_hilf;
    }
    else{
          if((st.charAt(stelle)>='A')&&(st.charAt(stelle)<='Z'))
          {
            var_hilf=vergleich(st,stelle,wieviel_var);
            if(st.charAt(stelle+2)=='!')
            {
              return (var_hilf & rechnen(st,(stelle+2),wieviel_var));
            }
            else{
                  return (var_hilf & rechnen(st,(stelle+2),wieviel_var));
                }
          }
          else{
                var_hilf=vergleich(st,(stelle+1),wieviel_var);
                if((stelle+1)==(st.length()-1)) return var_hilf;
                else return (var_hilf & rechnen(st,(stelle+3),wieviel_var));
              }
        }
  }

  public boolean vergleich(String eingabe, int stelle, int wieviel_var)
  {
    if(eingabe.length()==1)
    {
      for(int i=0; i<wieviel_var; i++)
      {
        if(var_char[i]==eingabe.charAt(0)) return var[i];
      }
      return false;
    }
    else{
          if(eingabe.length()==2)
          {
            for(int i=0; i<wieviel_var; i++)
               if(var_char[i]==eingabe.charAt(1)) return !var[i];
            return false;
          }
          else{
                if(stelle==0)
                {
                  for(int i=0; i<wieviel_var; i++)
                  {
                    if(var_char[i]==eingabe.charAt(0)) return var[i];
                  }
                  return false;
                }
                else{
                      if(eingabe.charAt(stelle-1)=='!')
                      {       
                        for(int i=0; i<wieviel_var; i++)
                        {     
                          if(var_char[i]==eingabe.charAt(stelle)) return !var[i];
                        }    
                        return false;       
                      }         
                      else{        
                            for(int i=0; i<wieviel_var; i++)
                            {     
                              if(var_char[i]==eingabe.charAt(stelle)) return var[i];
                            }       
                            return false;
                          }
                    }  
              }         
        }        
  }

  public boolean rechnen1(String st, int stelle, int wieviel_var, int j)
  {
    boolean var_hilf;
    if(stelle==(st.length()-1))
    {
      var_hilf=vergleich1(st,stelle,wieviel_var,j);
      return var_hilf;
    }
    else{
          if((st.charAt(stelle)>='A')&&(st.charAt(stelle)<='Z'))
          {
            var_hilf=vergleich1(st,stelle,wieviel_var,j);
            if(st.charAt(stelle+2)=='!')
            {
              return (var_hilf & rechnen1(st,(stelle+2),wieviel_var,j));
            }
            else{
                  return (var_hilf & rechnen1(st,(stelle+2),wieviel_var,j));
                }
          }
          else{
                var_hilf=vergleich1(st,(stelle+1),wieviel_var,j);
                if((stelle+1)==(st.length()-1)) return var_hilf;
                else return (var_hilf & rechnen1(st,(stelle+3),wieviel_var,j));
              }
        }
  }

  public boolean vergleich1(String eingabe, int stelle, int wieviel_var, int j)
  {
    if(eingabe.length()==1)
    {
      for(int i=0; i<wieviel_var; i++)
      {
        if(var_char[i]==eingabe.charAt(0)) return table_var[j][i];
      }
      return false;
    }
    else{
          if(eingabe.length()==2)
          {
            for(int i=0; i<wieviel_var; i++)
               if(var_char[i]==eingabe.charAt(1)) return !table_var[j][i];
            return false;
          }
          else{
                if(stelle==0)
                {
                  for(int i=0; i<wieviel_var; i++)
                  {
                    if(var_char[i]==eingabe.charAt(0)) return table_var[j][i];
                  }
                  return false;
                }
                else{
                      if(eingabe.charAt(stelle-1)=='!')
                      {       
                        for(int i=0; i<wieviel_var; i++)
                        {     
                          if(var_char[i]==eingabe.charAt(stelle)) return !table_var[j][i];
                        }    
                        return false;       
                      }         
                      else{        
                            for(int i=0; i<wieviel_var; i++)
                            {     
                              if(var_char[i]==eingabe.charAt(stelle)) return table_var[j][i];
                            }       
                            return false;
                          }
                    }  
              }         
        }        
  }

  public boolean test_stein(String st)
  {
    for(int i=0; i<st.length(); i++)
    {
      if(st.charAt(i)=='*') return false;
    }
    return true;
  }

  public void start()
  {
    pew.init();
    ptw.init();
    pnf.init();
  }

  public class Panel_table_wert extends Panel
  {
    LogikFormeln lf;
    Image img;
    Graphics imggc;
    int width,height;

    public Panel_table_wert(LogikFormeln l)
    {
      lf=l;
    }

    public void init()
    {
      if (img==null)
      {
        Dimension d=getSize();
        width=d.width; height=d.height;
        img=createImage(width,height);
        imggc=img.getGraphics();
        Font f = new Font ("Serif", Font.BOLD, 15);
        imggc.setFont (f);
      }
    }

    public void paint(Graphics gc)
    {
      if (img!=null) gc.drawImage(img,0,0,lf);
            
    }
        
    public void update(Graphics gc)
    {
      if (img!=null) gc.drawImage(img,0,0,lf);
    }

    public void malefunk()
    {
      int lange=1;
      for(int i=0; i<var_char.length; i++)
         lange=lange*2;
      String [] ergebniss_zeigen=new String[lange];
      String var;
      int x=60, y=60;
      String [] var_name=new String[var_char.length];
      for(char i='A'; i<='Z'; i++)
      {
        for(int j=0; j<var_char.length; j++)
        {
          if((i==var_char[j])&&(i=='A')) var_name[j]="A";
          if((i==var_char[j])&&(i=='B')) var_name[j]="B";
          if((i==var_char[j])&&(i=='C')) var_name[j]="C";
          if((i==var_char[j])&&(i=='D')) var_name[j]="D";
          if((i==var_char[j])&&(i=='E')) var_name[j]="E";
          if((i==var_char[j])&&(i=='F')) var_name[j]="F";
          if((i==var_char[j])&&(i=='G')) var_name[j]="G";
          if((i==var_char[j])&&(i=='H')) var_name[j]="H";
          if((i==var_char[j])&&(i=='I')) var_name[j]="I";
          if((i==var_char[j])&&(i=='J')) var_name[j]="J";
          if((i==var_char[j])&&(i=='K')) var_name[j]="K";
          if((i==var_char[j])&&(i=='L')) var_name[j]="L";
          if((i==var_char[j])&&(i=='M')) var_name[j]="M";
          if((i==var_char[j])&&(i=='N')) var_name[j]="N";
          if((i==var_char[j])&&(i=='O')) var_name[j]="O";
          if((i==var_char[j])&&(i=='P')) var_name[j]="P";
          if((i==var_char[j])&&(i=='Q')) var_name[j]="Q";
          if((i==var_char[j])&&(i=='R')) var_name[j]="R";
          if((i==var_char[j])&&(i=='S')) var_name[j]="S";
          if((i==var_char[j])&&(i=='T')) var_name[j]="T";
          if((i==var_char[j])&&(i=='U')) var_name[j]="U";
          if((i==var_char[j])&&(i=='V')) var_name[j]="V";
          if((i==var_char[j])&&(i=='W')) var_name[j]="W";
          if((i==var_char[j])&&(i=='X')) var_name[j]="X";
          if((i==var_char[j])&&(i=='Y')) var_name[j]="Y";
          if((i==var_char[j])&&(i=='Z')) var_name[j]="Z";
        }
      }

      imggc.setColor(new Color(141,233,164));
      imggc.fillRect(0,0,width, height);
      imggc.setColor(Color.black);

      for(int i=0; i<lange; i++)
      {
        x=60;
        if(table_ergebniss[i]) ergebniss_zeigen[i]="1";
        else ergebniss_zeigen[i]="0";

        imggc.setFont (new Font( "Serif", Font.BOLD, 15));
        for(int j=0; j<var_char.length; j++)
        {
          if(table_var[i][j]) var="1";
          else var="0";
          imggc.drawString(var,x,y);
          imggc.drawString(var_name[j],x,25);
          x=x+40;
        }
        imggc.drawLine(0,35,(x+20),35);
        imggc.drawLine((x-20),0,(x-20),(y+40));
        imggc.drawString( ergebniss_zeigen[i], x, y);

        y=y+20;
      }

      repaint();
    }
  }

  public class Panel_normalform extends Panel
  {
    LogikFormeln lf;
    Image img;
    Graphics imggc;
    int width,height;

    public Panel_normalform(LogikFormeln l)
    {
      lf=l;
    }

    public void init()
    {
      if (img==null)
      {
        Dimension d=getSize();
        width=d.width; height=d.height;
        img=createImage(width,height);
        imggc=img.getGraphics();
        Font f = new Font ("Serif", Font.BOLD, 15);
        imggc.setFont (f);
      }
    }

    public void paint(Graphics gc)
    {
      if (img!=null) gc.drawImage(img,0,0,lf);
            
    }
        
    public void update(Graphics gc)
    {
      if (img!=null) gc.drawImage(img,0,0,lf);
    }

    public void malefunk()
    {
      int n=0,m=0;
      int lange=1;
      for(int i=0; i<var_char.length; i++)
         lange=lange*2;
      for(int i=0; i<table_ergebniss.length; i++)
      {
        if(table_ergebniss[i]) n++;
        else m++;
      }

      imggc.setColor(new Color(204,148,205));
      imggc.fillRect(0,0,width, height);
      imggc.setColor(Color.black);

      if(n==lange)
      {
        imggc.setFont (new Font( "Serif", Font.BOLD, 20));
        imggc.drawString( "Tautologie", 15, 20);
      }
      else{
            imggc.setFont (new Font( "Serif", Font.BOLD, 20));
            imggc.drawString( "Keine Tautologie", 15, 20);
          }
      if(m==lange)
      {
        imggc.setFont (new Font( "Serif", Font.BOLD, 20));
        imggc.drawString( "Kontradiktion", 15, 50);
      }
      else{
            imggc.setFont (new Font( "Serif", Font.BOLD, 20));
            imggc.drawString( "Keine Kontradiktion", 15, 50);
          }

      String [] var_name=new String[var_char.length];
      for(char i='A'; i<='Z'; i++)
      {
        for(int j=0; j<var_char.length; j++)
        {
          if((i==var_char[j])&&(i=='A')) var_name[j]="A";
          if((i==var_char[j])&&(i=='B')) var_name[j]="B";
          if((i==var_char[j])&&(i=='C')) var_name[j]="C";
          if((i==var_char[j])&&(i=='D')) var_name[j]="D";
          if((i==var_char[j])&&(i=='E')) var_name[j]="E";
          if((i==var_char[j])&&(i=='F')) var_name[j]="F";
          if((i==var_char[j])&&(i=='G')) var_name[j]="G";
          if((i==var_char[j])&&(i=='H')) var_name[j]="H";
          if((i==var_char[j])&&(i=='I')) var_name[j]="I";
          if((i==var_char[j])&&(i=='J')) var_name[j]="J";
          if((i==var_char[j])&&(i=='K')) var_name[j]="K";
          if((i==var_char[j])&&(i=='L')) var_name[j]="L";
          if((i==var_char[j])&&(i=='M')) var_name[j]="M";
          if((i==var_char[j])&&(i=='N')) var_name[j]="N";
          if((i==var_char[j])&&(i=='O')) var_name[j]="O";
          if((i==var_char[j])&&(i=='P')) var_name[j]="P";
          if((i==var_char[j])&&(i=='Q')) var_name[j]="Q";
          if((i==var_char[j])&&(i=='R')) var_name[j]="R";
          if((i==var_char[j])&&(i=='S')) var_name[j]="S";
          if((i==var_char[j])&&(i=='T')) var_name[j]="T";
          if((i==var_char[j])&&(i=='U')) var_name[j]="U";
          if((i==var_char[j])&&(i=='V')) var_name[j]="V";
          if((i==var_char[j])&&(i=='W')) var_name[j]="W";
          if((i==var_char[j])&&(i=='X')) var_name[j]="X";
          if((i==var_char[j])&&(i=='Y')) var_name[j]="Y";
          if((i==var_char[j])&&(i=='Z')) var_name[j]="Z";
        }
      }

      imggc.setFont (new Font( "Serif", Font.BOLD, 15));
      int x=20,y=70;
      int k=0;
      int l=0;
      for(int i=0; i<table_ergebniss.length; i++)
         if(table_ergebniss[i]) l++;

      for(int i=0; i<table_ergebniss.length; i++)
      {
        if(table_ergebniss[i])
        {
          for(int j=0; j<var_char.length; j++)
          {
            if(table_var[i][j])
            {
              imggc.drawString( var_name[j], x, y);
              x +=15;
            }
            else{
                  imggc.drawString( ("!"+var_name[j]), x, y);
                  x +=15;
                }
            if(j<(var_char.length-1)) 
            {
              imggc.drawString( "*", x, y);
              x +=15;
            }
          }
          if(k<(l-1))
          {
            imggc.drawString( "+", x, y);
            x +=15;
          }
          k++;
          if((k>=2)&&((k%2)==0)) { x=20; y +=20;}
        }
      }

      repaint();
    }
  }

  public class Panel_einzel_wert extends Panel
  {
    LogikFormeln lf;
    Image img;
    Graphics imggc;
    int width,height;
    //FontMetrics fm;

    public Panel_einzel_wert(LogikFormeln l)
    {
      lf=l;
    }

    public void init()
    {
      if (img==null)
      {
        Dimension d=getSize();
        width=d.width; height=d.height;
        img=createImage(width,height);
        imggc=img.getGraphics();
        Font f = new Font ("Serif", Font.BOLD, 15);
        imggc.setFont (f);
        //fm = getFontMetrics(f);
        //validate();
      }
    }

    public void paint(Graphics gc)
    {
      if (img!=null) gc.drawImage(img,0,0,lf);
            
    }
        
    public void update(Graphics gc)
    {
      if (img!=null) gc.drawImage(img,0,0,lf);
    }

    public void malefunk()
    {
      String ergebniss_zeigen;

      if(ergebniss) ergebniss_zeigen="1";
      else ergebniss_zeigen="0";

      imggc.setColor(new Color(204,148,0));
      imggc.fillRect(0,0,width, height);
      imggc.setColor(Color.black);

      imggc.setFont (new Font( "Serif", Font.BOLD, 240));
      imggc.drawString( ergebniss_zeigen, 130, 200);

      repaint();
    }
  }

  public static void main( String[] args)
  {
    new LogikFormeln();
  }
  
}