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_