Понимание и применение формул алгебры предикатов: визуальные схемы и примеры