الشرط هو عبارة يمكن أن تتضمن معاملات المقارنة، وثوابت، ومعامل التسلسل بعلامة الجمع، ومراجع. محتويات الشرط يجب أن تكون بنفس نتيجة مقارنة الشرط بقيمة أخرى، والتي تكون نتيجتها هي القيمة البوليانية صواب أو خطأ.