Testability of SPP Three-Level Logic Networks