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