одиночная резолюция

Unit resolution