Rezultati

Up. imeNalogaJezikRezultatČas oddaje
finalsolution-2018 Kombinatorna logika C 0/100Napačen odgovor (WA) 10. maj '18 @ 18:47

Test Točke Porabljen spomin Porabljen čas Status
#1 0/12 1,238 MiB 0,000 s Napačen odgovor
Tvoj izhod:
​S(SKK)(K(S(KK)(SKK)))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS)
=SKK(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS)(K(S(KK)(SKK))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS))
=SKK(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS)(S(KK)(SKK))
<<<EOF>>>
Pravilen izhod:
​S(SKK)(K(S(KK)(SKK)))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS)
=SKK(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS)(K(S(KK)(SKK))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS))
=K(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS)(K(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS))(K(S(KK)(SKK))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS))
=S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS(K(S(KK)(SKK))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS))
=S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK)))))K(K(S(KK)(SKK))K)S(K(S(KK)(SKK))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS))
=KSK(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))K)(K(S(KK)(SKK))K)S(K(S(KK)(SKK))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS))
=S(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))K)(K(S(KK)(SKK))K)S(K(S(KK)(SKK))(S(S(KS)(S(KK)(S(KS)(S(K(S(SKK)))(S(KK)(SKK))))))(K(S(KK)(SKK)))KS))
#2 0/12 1,211 MiB 0,000 s Napačen odgovor
Tvoj izhod:
​S(K(S(S(KS)(S(KK)(SKK)))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))
=K(S(S(KS)(S(KK)(SKK))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))
=K(S(S(KS)(S(KK)(SKK))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(K(K(SKK))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
=K(S(S(KS)(S(KK)(SKK))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(K(SKK)))
<<<EOF>>>
Pravilen izhod:
​S(K(S(S(KS)(S(KK)(SKK)))))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))
=K(S(S(KS)(S(KK)(SKK))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))
=S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))
=S(S(KS)(S(KK)(SKK)))(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(K(K(SKK))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
=S(S(KS)(S(KK)(SKK)))(KS(S(S(KS)(S(KK)(SKK)))(K(SKK)))(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(K(K(SKK))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
=S(S(KS)(S(KK)(SKK)))(S(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(K(K(SKK))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
=S(S(KS)(S(KK)(SKK)))(S(K(S(KS))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(K(SKK))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
#3 12/12 1,238 MiB 0,000 s OK
#4 12/12 1,211 MiB 0,000 s OK
#5 0/13 1,238 MiB 0,000 s Napačen odgovor
Tvoj izhod:
​S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
<<<EOF>>>
Pravilen izhod:
​S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
=S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
=KS(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
=S(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))
=S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))
=KK(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))
#6 0/13 1,277 MiB 0,000 s Napačen odgovor
Tvoj izhod:
​S(K(K(SKK)))K(SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS)
=K(K(SKK))(SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS)(K(SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS))
<<<EOF>>>
Pravilen izhod:
​S(K(K(SKK)))K(SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS)
=K(K(SKK))(SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS)(K(SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS))
=K(SKK)(K(SSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSSS))
=SKK
<<<EOF>>>
#7 13/13 1,211 MiB 0,000 s OK
#8 0/13 1,238 MiB 0,000 s Napačen odgovor
Tvoj izhod:
​S(K(S(S(S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))))))
<<<EOF>>>
Pravilen izhod:
​S(K(S(S(S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))))))
=S(K(S(S(S(KS)(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))))))
=S(K(S(S(KS(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))))))
=S(K(S(S(S(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))))))
=S(K(S(S(S(KK)(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))))))
=S(K(S(S(KK(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK)))))(K(S(S(KS)(S(K(S(KS)))(S(K(S(KK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))(K(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(S(S(KS)(S(KK)(SKK)))(K(SKK))))))))))

Ocenjevani program (kombinatornalogika.c):
#include <stdio.h>
#include <stdlib.h>

struct node {
    struct node *left;
    struct node *right;
};

static struct node leaf_k;
static struct node leaf_s;

static struct node *make_node(struct node *left, struct node *right) {
    struct node *np = malloc(sizeof(struct node));
    np->left = left;
    np->right = right;
    return np;
}

static struct node *read_node(void) {
    struct node *node = NULL;
    char ch = getchar();
    while (ch == 'K' || ch == 'S' || ch == '(') {
        struct node *nnode = NULL;
        if (ch == '(') nnode = read_node();
        else nnode = (ch == 'S' ? &leaf_s : &leaf_k);
        if (node) node = make_node(node, nnode);
        else node = nnode;
        ch = getchar();
    }
    return node;
}

static void print_node(const struct node *node, int br) {
    if (node == &leaf_k) putchar('K');
    else if (node == &leaf_s) putchar('S');
    else {
        if (br) putchar('(');
        print_node(node->left, 0);
        print_node(node->right, 1);
        if (br) putchar(')');
    }
}

static int simplify_node(struct node **nodep) {
    struct node *node = *nodep;
    if (!node) return 0;
    struct node *node1 = node->left;
    if (node1) {
        struct node *node2 = node1->left;
        if (node2 == &leaf_k) {
            *nodep = node1->right;
            return 1;
        }
        if (node2 && node2->left == &leaf_s) {
            *nodep = node1;
            node2->left = node2->right;
            node2->right = node->right;
            node->left = node1->right;
            node1->right = node;
            return 1;
        }
        if (simplify_node(&node1->right)) return 1;
    }
    return simplify_node(&node->right);
}

int main() {
    struct node *root = read_node();
    print_node(root, 0);
    putchar('\n');
    while (simplify_node(&root)) {
        putchar('=');
        print_node(root, 0);
        putchar('\n');
    }
    return 0;
}