Logikai meghatározások (Equations)
Kombinátorlogikai kifejezéseket írjatunk le boolean kifejezésekkel és igazságtáblákkal.
Boolean kifejezések struktúrája: WHEN feltétel THEN blokk utasítás ELSE utasítás
pl.:
WHEN A>B THEN A=A-B; ELSE B=B-A;
Igazságtáblák struktúrája: TROUTH_TABLE (inputok -> outputok) inputok -> outputok
pl.:
TROUTH_TABLE ([szam] -> [a, b, c])
[0] -> [1, 2, 3];
[1] -> [2, 3, 1];
[2] -> [3, 2, 1];
[3] -> [2, 1, 3];
[4] -> [1, 3, 2];
[5] -> [3, 1, 2];