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 \(p\ \&\ q = (p \lor q) \implies (p \land q)\). A tabela verdade correta para essa nova operação é: