Reasoning in Boolean Networks