Decision and discrete mathematics 1 /