Hello,
For this section, "An Inverter followed by the node called isDoorOpen is...", this seems to be inconsistent with the node shown in the given figure which has the node labelled "isDoorClosed".

Do correct me if I understand it wrongly.
Thank you very much.