https://9dok.net/document/yd7r3km6-tableau-algorithm-fuzzy-alc-product-t-norm.html