в двух предложениях, одно из которых состоит из одной литеры, а второе содержит произвольное число литер, находится контрарная пара литер (например В и ¬В), которая вычеркивается, а из оставшихся частей формируется новое предложение (например В из ¬В۷С и выводится С).