Термины логических операций Явное определение в логике примеры