Фотографии и схемы: алгебра логики и логические переменные