func1 = conjunction(f, g)
func2 = conjunction(g, h)
func3 = conjunction(g, h)
assert( get_hash(func1) != get_hash(func2) )
assert( get_hash(func2) == get_hash(func3) )
conjunction
возвращает при вызове функцию. Их (полученные таким образом функции) тоже надо уметь хешировать.
Запишите отдельным ответом? Я плюсану.