Comprobando las leyes de Morgan. Un ejercicio de programación en C/C++

//-----------------------------------------------------------------
//lleis de Morgan 
//
// Joan Aranès Clua
// data: 15/12/2001
// 
//Comprovació de lleis de Morgan per comparació de les taules de 
// veritat 
//(no (p i q)) equival a ((no p) o (no q))
//(no (p o q)) equival a ((no p) i (no q))
// 
//-----------------------------------------------------------------

#define V 1
#define F 0

#include <stdio.h>


void main()

{

    printf("1a llei de Morgan\n");
    printf("Taula de veritat de !(p||q) \n");
    printf("!(F||F) = %d\n",!(F ||F) );
    printf("!(F||V) = %d\n",!(F ||V) );
    printf("!(V||F) = %d\n",!(V ||F) );
    printf("!(V||V) = %d\n",!(V ||V) );

    printf("Taula de veritat de !p&&!q \n");
    printf("!F&&!F = %d\n",!F && !F );
    printf("!F&&!V = %d\n",!F && !V );
    printf("!V&&!F = %d\n",!V && !F );
    printf("!V&&!V = %d\n",!V && !V );
    
    printf("------------\n");    

    printf("2a llei de Morgan\n");
    printf("Taula de veritat de !(p&&q) \n");
    printf("!(F&&F) = %d\n",!(F && F));
    printf("!(F&&V) = %d\n",!(F && V) );
    printf("!(V&&F) = %d\n",!(V && F) );
    printf("!(V&&V) = %d\n",!(V && V) );

    printf("Taula de veritat de !p||!q \n");
    printf("!F||!F = %d\n",!F || !F );
    printf("!F||!V = %d\n",!F || !V );
    printf("!V||!F = %d\n",!V || !F );
    printf("!V||!V = %d\n",!V || !V );

}