https://123dok.net/document/q7wvg8dz-propositional-information-systems.html