https://9dok.net/document/yr34kdvj-beispiel-dreiwertige-lukasiewicz-logik.html