Why use hardware logic when EMC has a PLC type Ladder for I/O processing, this is boolean in software form, at least it shows one on their web site.
If you use the DC coils, it will also prevent burn outs caused by sticking spools, or someone 'inadvertently' pushing the spool over when the other side is picked up.
Al.