module PrimeDet 
title '4-Bit Prime Number Detector' 

" Input pins 
N0, N1, N2, N3                   pin; 

" Output pin 
F1, F2                           pin istype 'com';

" Definition
NUM = [N3,N2,N1,N0];

" Prime number detector
truth_table (NUM -> F1)
               0 -> 0;
               1 -> 1;
               2 -> 1;
               3 -> 1;
               4 -> 0;
               5 -> 1;
               6 -> 0;
               7 -> 1;
               8 -> 0;
               9 -> 0;
              10 -> 0;
              11 -> 1;
              12 -> 0;
              13 -> 1;
              14 -> 0;
              15 -> 0;

" Shorter table that gives the same result,
" specifies only the on-set
truth_table (NUM -> F2)
               1 -> 1;
               2 -> 1;
               3 -> 1;
               5 -> 1;
               7 -> 1;
              11 -> 1;
              13 -> 1;

end PrimeDet