Equivalence Algorithms

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

The hierarchy of equivalences

Given two vectorial boolean functions [math]\displaystyle{ f,g : F_2^n \rightarrow F_2^n }[/math] there are various ways to define equivalence between [math]\displaystyle{ f }[/math] and [math]\displaystyle{ g }[/math]