Advanced Search

A left quasigroup $(Q,q)$ of order $2^w$ that can be represented as a vector of Boolean functions of degree 2 is called a left multivariate quadratic quasigroup (LMQQ). For a given LMQQ there exists a left parastrophe operation $q_{\setminus }$ defined by: $q_{\setminus }(u,v)=w\iff q(u,w)=v$ that also defines a left multivariate quasigroup. However, in general, $(Q,q_{\setminus })$ is not quadratic. Even more, representing it in a symbolic form may require exponential time and space. In this work we investigate the problem of finding a subclass of LMQQs whose left parastrophe...