Логика высказываний: формулы в иллюстрациях