Från krav till tabell till kod: sanningstabellen är kontraktet mellan funktionsbeskrivning och PLC-program.