test of truth

Мат. проверка истинности