There are several packages such as SAGEmath, Maple, Mathematica as well as other OS packages which perform Boolean function symbolic arithmetic. Computations in this arithmetic are about performing OR ($\vee$), AND ($\wedge$), XOR ($\oplus$), Compositions $f\circ g$ in the Boolean algebra (and ri...

(I guess no but why is this the case? Any way to make it possible?) Out of a given equilateral triangle T1 (with his 3 vertices A,B,C lying in a finite Field $\mathbb F_N^D $) another equilateral triangle T2 can get constructed by mirroring one of the 3 vertices at the edge in between the two oth...