///
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 é: