/PIN14 = /PIN3 * /PIN4 * PIN5 /PIN15 = PIN3 * /PIN4 * /PIN7 * /PIN8 * /PIN9 * /PIN11 /PIN16 = /PIN1 * /PIN2 * /PIN12 * /PIN13 * PIN18 /PIN17 = /PIN2 * PIN3 * /PIN4 * PIN7 + /PIN2 * PIN3 * /PIN4 * PIN8 + /PIN2 * PIN3 * /PIN4 * PIN9