for f1, f2 being Function of (2 -tuples_on BOOLEAN),BOOLEAN st ( for x, y being Element of BOOLEAN holds f1 . <*x,y*> = F₁(x,y) ) & ( for x, y being Element of BOOLEAN holds f2 . <*x,y*> = F₁(x,y) ) holds
f1 = f2