Stuck-At-Fault Testability of SPP Three-Level Logic Forms