De bolske verdiene og kan kodes som følger: Vi kan se at dette fungerer ved å se på hvordan reduserer til : .