Contro-implicazione inversa E' la contro-implicazione inversa a'b corrisponde alla contro-implicazione inversa in logica E' gia' in forma normale disgiuntiva completa