karnaugh map editor: KNF schematic representation wrong about tams-tools HOT 6 CLOSED

Yes, looks better now - should be fine! Thanks and greetings!

from tams-tools.

Thank you very much for reporting this! Should be fixed now.

from tams-tools.

Thanks! Is this online on https://tams.informatik.uni-hamburg.de/research/software/tams-tools/kvd-editor.html? I'm asking because it is still wrong there.

Example:

The green group schould be connected to the "NOT C" port instead of the "C" port. (In the green group C=1 but the output should be 0 and thus connected to the "NOT C".)

from tams-tools.

The latest (fixed) version is online here: https://thesis.laszlokorte.de/demo/kvd-editor.html

But I will ask the responsible to update the tams.informatik.uni-hamburg.de version as well.

from tams-tools.

The uni-hamburg version is up-to-date now. Thanks! Also thanks for the other link!

Now the schematic is correct but the algebraic/boolean expression is not. For the example mentioned it states now: O1=((¬B ∨ ¬C) ∧ (C)) which is wrong. Before the fix this was correct. The problem that the algebraic/boolean expression output does not agree with the schematic output still exists, the two have swapped only.

from tams-tools.

Good catch! Thanks! Now it should work correctly. Please take another look at https://thesis.laszlokorte.de/demo/kvd-editor.html

from tams-tools.