الجملة 1: إذا `` A'و `` B'هما باناك ، فإن ناتج المترجم الجبري ل `` A'و `` B'يعني ناتج المترجم ل الجملة الثانية: إذا كانت `` A'و `` B'غرف جبرية ، فإن ناتج باناش - المترجم من `` A'و `` B'يعني ناتج المترجم من السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟