Druga możliwa realizacja wynika z zastosowania odpowiednich tożsamości:
A X B - AAjr AB - BA_+ BBiA A = BB = 0) ** A(A • B) 4- B(A *• B)