//contradiction
#include<conio.h>
#include<stdio.h>
int AND(int p,int q)
{
    if(p==1&&q==1)
    return 1;
    else
    return 0;
}
int OR(int p,int q)
{
    if(p==1||q==1)
    return 1;
    else
    return 0;
}
int IMPLICATION(int p,int q)
{
    if(p==1&&q==0)
    return 0;
    else
    return 1;
}
int NOT(int p)
{
    if(p==1)
    return 0;
    else
    return 1;
}
int main()
{
    int p,q;
    printf("P\tQ\t(P V Q) ^((~P)^~(Q))\n");
    for(p=0;p<=1;p++)
    {
       for(q=0;q<=1;q++)
       {
          printf("%d\t%d\t\t%d\n\n",p,q,AND(OR(p,q),AND(NOT(p),NOT(q))));
       }
    }
    getch();
    return 0;
}

//Tautology
#include<conio.h>
#include<stdio.h>
int AND(int p,int q)
{
    if(p==1&&q==1)
    return 1;
    else
    return 0;
}
int OR(int p,int q)
{
    if(p==1||q==1)
    return 1;
    else
    return 0;
}
int IMPLICATION(int p,int q)
{
    if(p==1&&q==0)
    return 0;
    else
    return 1;
}
int main()
{
    int p,q;
    printf("P\tQ\t(P^Q)-->(P V Q)\n");
    for(p=0;p<=1;p++)
    {
       for(q=0;q<=1;q++)
       {
          printf("%d\t%d\t\t%d\n\n",p,q,IMPLICATION(AND(p,q),OR(p,q)));
       }
    }
    getch();
    return 0;
}