Logický výraz určující jednu nebo více podmínek, které naprogramovat výstupy musí splňovat, aby správný program.