اغلب، برنامه نویسان از توابع بولی استفاده می کنند که مقادیر بولی را درست یا نادرست برمی گرداند (true em> یا نادرست). چنین توابعی برای بررسی یک ویژگی مفید هستند. دو مثال از نوشتن یک تابع منطقی را در نظر بگیرید که یک عدد را برای یکنواختی بررسی می کند
bool isEven(int n) { بازگشت (n % 2 == 0); }
bool isEven(int n) { اگر (n % 2 == 0) { بازگشت درست؛ } دیگری { بازگشت نادرست; } }
return
bool isEven(int n) { اگر (n % 2 == 0) { درست را برگردانید بازگشت نادرست؛ }
1000 ms 256 Mb Rules for program design and list of errors in automatic problem checking