الجملة الأولى: وين، الصيغة 5 هي واحدة من دلائل هورن المحدودة مع متغيرين وتقارب لجميع القيم الهايبرجيوميترية المتداخلة للصيغة 6 والصيغة 7. تعطيه: الجملة الثانية: الصيغة الخامسة هي واحدة من الوظائف الجيوميترية المتداخلة ل هورن مع متغيرين و متقاربة للقيم المحدودة للصيغة السادسة والصيغة السابعة. تعطيه: سؤال: الجملة 1 والجملة 2 يعبروا عن نفس المعنى؟ إيه أو لا؟