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