https://123dok.net/document/zx565ej4-characterizing-complexity-boolean-functions-represented-structured-driven-parity.html