URGENTE :Problema di logica informatica

[agutex]

"Sia B un numero nella rappresentazione binaria pura su 4 bit rappresentato dalle cifre B=b3b2b1b0
Scrivere una funzione logica f(b3,b2,b1,b0), dandone la tabella di verità tale che si abbia in uscita un valore vero se in ingresso il valore del numero B è divisibile per tre."

[matem]

Aiuto!

[Pachito]

E' possibile scrivere una qualunque funzione partendo dalla tavola della verità che è:
bit
3210 risultato

0000 (0)
0001 (0)
0010 (0)
0011 (1) 3 OK
0100 (0)
0101 (0)
0110 (1) 6 OK
0111 (0)
1000 (0)
1001 (1) 9 OK
1010 (0)
1011 (0)
1100 (1) 12 OK
1101 (0)
1110 (0)
1111 (1) 15 OK

La sua forma canonica sarà f(b3,b2,b1,b0)= b3^b2^b1b0 + b3^b2b1b0^ + b3b2^b1^b0 + b3b2b1^b0^ + b3b2b1b0
Cioè avremo una somma di tanti addendi quante sono le righe per cui la funzione vale 1 (5). In ogni addendo compare il prodotto delle variabili: se la variabile vale 0 essa compare negata (b^).