As ferramentas básicas da lógica permitem-nos construir novas operações com base em suas tabelas verdades pré-existentes, observe então a operação &, sendo definida da seguinte forma  A tabela verdade correta para essa nova operação é: