Сколько существует неэквивалентных друг другу логических функций трех переменных

def F_to_s(n):
    return bin(n)[2:].zfill(8)
#==============================================================================
def F(n,x,y,z):
    s = F_to_s(n)
    return int( s[4*x + 2*y + z] )
#==============================================================================
def get_functions():
    #==========================================================================
    def f_is_good(f):
        for X in range(2):
            for Y in range(2):
                for Z in range(2):
                    L = ((F(f,X,Y,Z) <= X) <= Y) <= Z
                    R = ( (X <= Y) and not Z ) <= ( not F(f,X,Y,Z) )
                    if L != R:
                        return False
        return True
    # ==========================================================================
    res = []
    for f in range(2**(2**3)):
        if f_is_good(f):
            res.append(F_to_s(f))
    return(res)
#==============================================================================
lis = get_functions()
print(f'Существует {len(lis)} функций трех переменных F(X,Y,Z) таких, '
      f'что выполняется тождественное равенство:')
print('((F(X,Y,Z) -> X) -> Y) -> Z ≡ ((X -> Y) and not Z) -> not F(X,Y,Z) ')
print('Таблицы истинности этих функций:')
print(lis)

from itertools import product
 
count = 0
for p in product([False, True], repeat=8):
    d = {k: v for k, v in zip(product([False, True], repeat=3), p)}
    count += all((((f <= x) <= y) <= z) == (((x <= y) and not z) <= (not f)) for (x, y, z), f in d.items())
print(count)