[devel] [PATCH] apt virtual packages

Alexey Tourbin =?iso-8859-1?q?at_=CE=C1_altlinux=2Eru?=
Пн Дек 18 16:17:45 MSK 2006


On Mon, Dec 18, 2006 at 12:39:28PM +0200, Led wrote:
> > А в случае с одной только операцией "<" такой ляпоты не получается,
> > потому что не удается логически вывести равенство.
> 
> (==)(a,b) := !(a<b)&&!(b<a)
> 
> ?

Да.  Я уже исправился и предложил вариант
(a==b) := !((a<b)||(b<a))

который по закону Де Моргана или как его там эквиваленен вашему.
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя     : =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Тип     : application/pgp-signature
Размер  : 189 байтов
Описание: =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Url     : <http://lists.altlinux.org/pipermail/devel/attachments/20061218/f852906e/attachment-0001.bin>


Подробная информация о списке рассылки Devel