SEB. Voor de liefhebber om op de Track Lay-out uit te zoeken dat het gaat om de nrs. 5, 8, 10, 12, 14, 11, 13, 15, 16, 33, 22, 24, 36, 38, 37, 39, 46, 59, 50, 52, 53, 32, 62 en 63. 

We geven één voorbeeld, de naast elkaar staande seinen S50 en S52, vertrekken vanaf Julialaantje naar Bankkade. Hoofdcriterium is dat blok 54 (=35 dubbel bereden!) vrij is. Daar komt bij dat in de tegenovergestelde richting geen enkel sein vanuit Bankkade richting Julialaantje is vrij gegeven. In die richting zijn de rijwegen R39, R40, R41 en R42 gedefinieerd en geen van die rijwegen mogen dus vrijgegeven zijn. Geen van de seinen 21, 23, 25, of 27 mogen dus veilig staan richting Julialaantje.

C50=NW34.B54.NRV39.NRV40.NRV41.NRV42

C52=  W34.B54.NRV39.NRV40.NRV41.NRV42

De stand van wissel 34 zorgt er dus voor dat deze vertrekseinen nooit tegelijkertijd op veilig kunnen gaan.

Wat mij betreft een voorbeeld hoe de Booleaanse notatie kort en overzichtelijk een redelijk complexe situatie beschrijft.