questa e' la tavola di verita' della proposizione contro-indipendenza diretta; nella proposizione composta l'apporto della proposizione p e' ininfluente e quindi possiamo considerare la proposizione composta come proposizione q_