Какая из операций на естественном языке выражается словами «для того чтобы…, необходимо и достаточно…», «… лишь при условии...» и т. п..?