Henning: Programm das KNF erzeugt

SELF-Forum

Programm das KNF erzeugt

Henning
– Informationen zu den Bewertungsregeln

Hallo,

kennt jemand ein Programm, dass aus einen logischen Ausdruck eine KNF erzeugt und mehr als 50 Gatter und 50 Basisereignisse unterstützt. Ein für C++ geeigneter Algorithmus würde auch schon helfen.

Gruß,
Henning

--
Gruß aus Braunschweig
Beitrag melden
–
Informationen zu den Bewertungsregeln

  1. Programm das KNF erzeugt

    MichaelB
    – Informationen zu den Bewertungsregeln

    Hallo,

    was in Gottes Namen bedeutet KNF???
    Ich habe da zwar so eine Ahnung aber aufgrund einer Ahnung habe ich keine Lust hier was zu schreiben, was vielleicht dann doch nicht gefragt war.

    Gruss
       MichaelB
    ... der Abkürzungen nicht so recht leiden kann ...

    Beitrag melden
    –
    Informationen zu den Bewertungsregeln

    1. Programm das KNF erzeugt

      Henning
      – Informationen zu den Bewertungsregeln

      Hallo,

      KNF bedeutet (jedenfalls in diesem Fall) Konjunktive Normalform

      Gruß,
      Henning

      --
      Gruß aus Braunschweig
      Beitrag melden
      –
      Informationen zu den Bewertungsregeln