Дано числовое множество , на котором определены два предиката:  –  и  являются простыми числами;  – число  делится без остатка на число . Из этих предикатов сформирован новый предикат .
Тогда часть

таблицы истинности предиката  имеет вид …