http://file3.status.net/i/identica/postblue-20120422T094324-46dk3bl.html
J’ai déduit comme suit : “GNU et Linux sont deux systèmes d’exploitations libres différents.” => GNU et Linux sont deux systèmes d’exploitation et GNU != Linux. Il faut que les deux conditions soient remplies pour que le système soit vrai. Linux n’est pas un OS => le système est FAUX.