De plus, de la multiplication et de l'apostrophe utilisées pour représenter les expressions booléennes d'algèbre?

Question

Je regarde une feuille de calcul qui exprime les expressions logiques booléennes en utilisant la multiplication, l'addition et les apostrophes; quelque chose que je n'ai jamais vu auparavant.

Je peux deviner que l'apostrophe est équivalente à ¬ (sauf qu'il est suffixé au lieu de préfixé). Mais je ne sais pas ce que signifierait l'ajout et la multiplication des variables / atomes propositionnels. De plus, je ne sais pas comment une formule logique booléenne peut "sortir" autre chose qu'une simple valeur de vérité ...

Je n'arrive pas à accompagner avec certitude le sens de cette représentation. Quelqu'un pourrait-il jeter un œil à l'exemple ci-dessous et peut-être faire une supposition quant à une traduction de cette représentation aux symboles les plus traditionnels ^, V et ¬?

Cela s'est produit dans le contexte de la logique numérique en termes de portes logiques et autres sur un processeur, si cela fait une différence.

Un tableau de vérité présumé des deux expressions ci-dessus (la première rangée est remplie comme exemple):