Формулы и законы алгебры логики: схемы и иллюстрации