Equivalence Algorithms

From Boolean
Revision as of 13:41, 19 November 2024 by Joakim (talk | contribs)

The hierarchy of equivalences

Given two vectorial boolean functions there are various ways to define equivalence between Failed to parse (SVG (MathML can be enabled via browser plugin): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle f } and Failed to parse (Conversion error. Server ("https://wikimedia.org/api/rest_") reported: "Cannot get mml. Server problem."): {\displaystyle g}