Формулы логики высказываний в изображениях