CDec Function
ααααααβααααααβααααβα’αααα α¬βααααααβαααβαα βααΆβααααααβααααΆαΒ α
ααΆαααβααααααα α
CDec(αααααα)
αααααβαααα‘αα α
α ααα½αβααααΆαΒ α
αααΆαααΆαααααα α
ααααααΒ α ααααααβααααβα’αααα α¬βααααααβαααβαααβα’αααβα ααβααααααΒ α