Non-cooperative computation: Boolean functions with correctness and exclusivity · Study