Circuit de Monaco downhill again to a double right-hander called "Portier," named after region of Monaco, before heading into the famous tunnel, a unique feature of a Formula One circuit. (Until 2009 only one other circuit, Detroit in 1982–88, featured a tunnel, but the F1 series now includes racing at the Yas Marina Circuit in Abu Dhabi, which presents a shorter tunnel at the exit of the pit lane.) As well as the change of light making visibility poor, a car can lose 20–30% of its downforce due to the unique aerodynamic properties of the tunnel. The tunnel also presents a unique problem
Boolean circuit "m" nodes which are labeled as the outputs. The edges must also have some ordering, to distinguish between different arguments to the same Boolean function. As a special case, a propositional formula or Boolean expression is a Boolean circuit with a single output node in which every other node has fan-out of 1. Thus, a Boolean circuit can be regarded as a generalization that allows shared subformulas and multiple outputs. A common basis for Boolean circuits is the set {AND, OR, NOT}, from which all other Boolean functions can be constructed. The Circuit Value Problem, the problem of computing the