C/C++ - clausore o variabili?

ciao sto facendo un progetto di programmazione in linguaggio c.questo progetto consiste: Scrivere un programma ANSI C che acquisisce da tastiera due termini di logica dei predicati e stabilisce se essi sono unicabili, nel qual caso stampa a video un unicatore per essi
bene il mio problema che non so se usare variabili o clausole perchè ho provato con le variabili e le costanti ma non mi stampa la formula mi potete dare una mano per favore?

Puoi postarci il codice che hai scritto fino ad ora?

/* Acquisizione delle librerie */
#include<stdio.h>
#include<stdlib.h>
ciao ecco il codice che ho scritto fin ora:
int main(void)
{
    char *vettore1;
    char *vettore2;
    char carattere_letto;
    int i;
    


/* Allocazione dinamica dei due array contenenti le due formule*/

vettore1 = (char *) malloc(sizeof (char)*100);
vettore2 = (char *) malloc(sizeof (char)*100);

/* Acquisizione della prima formula */
printf(" Digita la prima formula di logica dei predicati:" "\n";
scanf("%c",
&*vettore1);

/* Allocazione della prima formula in un vettore */
     for(i = 0;
(carattere_letto = getchar);
i++)
vettore1 = &carattere_letto;
        return(vettore1);


/* Acquisizione della seconda formula */
printf(" Digita la seconda formula di logica dei predicati:" "\n";

/* Allocazione della seconda formula in un secondo vettore */
     for(i = 0;
    ((carattere_letto = getchar()) != "\n";
    i++)
    vettore2 = &carattere_letto;


     printf("vettore1" "vettore2";

         return(0);
}



però non se è giusto e comunque manca robinson e non riesco a trovare il codice...

Ma questo codice l'hai scritto tu o hai copiato incollato da qualche parte? Non ha nessun senso cosi' come e' scritto...

ciao, lo immaginavo perciò chiedevo una mano perchè di fatti non mi parte....mi puoi dare una mano per favore?

Potresti partire dalla prima parte... "acquisisce due termini di logica dalla tastiera".

Qui trovi diversi esempi su come usare correttamente scanf. cplusplus.com/reference/cstdio/scanf/

Per la seconda parte "stabilisce se essi sono unicabili, nel qual caso stampa a video un unicatore per essi " dovrai spiegarci cosa intendi per "unicabili" e "unicatore".

ciao, praticamente qui si parla della logica dei predicati e unificatore sarebbe or un and un not ecc che permette alle due formule di unificarle

ciao, ho abbozzato un altro codice però non mi parte voi che ne dite?che mi consigliate?

#include <stdio.h>
#include <stdlib.h>
#define NUMElementi(vettore1) (sizeof(vettore1)/sizeof(vettore1[])
#define NUMElementi(vettore2) (sizeof(vettore2)/sizeof(vettore2[])

int leggi ( vettore1, dim, vettore2)

{
int i;
int carattere_letto ;
carattere_letto >= 1;
i=0;
do
{
printf("Inserisci formula: ";
scanf("%d", &carattere_letto);

if (carattere_letto != 0 && i<dim) {
vettore1[i] = carattere_letto;
i++;
}
} while (carattere_letto !=0 && i<dim);

return (i);
}

int main(void)
{
int vettore1[10], vettore2[10], i;
int dim_vettore1, dim_vettore2;

dim_vettore1 = leggi(*vettore1, 10);
dim_vettore2 = leggi(*vettore2, 10);
printf("numero elementi dell'array: ";
scanf("%d",
&vettore1);
for (i=0; i<dim_vettore1; i++)
if ( vettore1[i] == vettore2[i])
printf("%d ", vettore1[i]);
return (0);
}