likw. równoważności
Kreator klauzul