questa e' la tavola di verita' della proposizione contro-indipendenza inversa; nella proposizione composta l'apporto della proposizione q e' ininfluente e quindi possiamo considerare la proposizione composta come proposizione p_