WPLSoft is a fully-featured free PLC simulation software. You will find all the ladder logic functions here, such as bit logics (NO, NC, set coil, normal coil, reset coil), mathematical operators ...