View file src/slc/skk.prf - Download

! DI (I = ^a a)
! DK (K = ^a ^b a)
! DS (S = ^a ^b ^c (a c (b c)))

{ { DS DK DK, S K K }, { DI, I } }