A procedure for converting logic table conditions into an efficient sequence of test instructions