Abstract logical gate tests