A proposição "Não precisa mais capturar nem digitar o código de barras" pode ser, simbolicamente, escrita como A/\8 , em que A é a proposição "Não precisa mais capturar o código de barras" e B é a proposição "Não precisa mais digitar o código de barras".
