MODULE combolck
    combolck    device 'P20v8'

    A, B, CLOCK     pin ;
    UNLK, HINT      pin istype 'com';
    Q1, Q2, Q3      pin istype 'reg';


EQUATIONS

    Q1.CLK = CLOCK;
    Q2.CLK = CLOCK;
    Q3.CLK = CLOCK;

    Q1 := (Q1 & !Q2 & X # !Q1 & Q2 & Q3 & !X) # (Q1 & Q2 & !Q3);
    Q2 := (!Q2 & Q3 & X # Q2 & !Q3 & X);
    Q3 := (Q1 & !Q2 & !Q3 # Q1 & Q3 & !X) # (!Q2 & !X) # (!Q3 & !Q1 & !X) # (Q2 & !Q3 & X);

    UNLK = (Q1 & Q2 & Q3 & !X);
    HINT = (!Q1 & !Q2 & !Q3 & !X) # (Q1 & !Q2 & X) # (!Q2 & Q3 & X) # (Q2 & Q3 & !X) # (Q2 & !Q3 & X);

END