Библиотека функций

#ifndef  __BF_H
#define  __BF_H
 
 void knf( /*как вот сюда передать кнф */)
 { if  int x1, x2, x3, y;
    printf("x1|x2|x3| y\n");
    printf("-----------\n");
    for(x1=0; x1<2; x1++)
    {
        for(x2=0; x2<2; x2++)
        {
             for(x3=0; x3<2; x3++)
             {
                 y = !х1х2х3 and x1!x2x3;
                 printf(" %i| %i| %i| %i\n", x1, x2, x3, y);
             };
        };
    };
        
    system ("pause");
    return 0;
}
 #define false   0
 #define true    1
 #define and     &&
 #define and_eq  &=
 #define bitand  &
 #define compl   ~
 #define not     !
 #define not_eq  !=
 #define or      ||
 #define or_eq   |=
 #define xor     ^
 #define xor_eq  ^=
#endif

#include <stdlib.h>
#include <stdio.h>
 
int main ()
{
    int x1, x2, x3, y;
        
    printf("x1|x2|x3| y\n");
    printf("-----------\n");
    for(x1=0; x1<2; x1++)
    {
        for(x2=0; x2<2; x2++)
        {
             for(x3=0; x3<2; x3++)
             {
                 y = ( (!x1 && x2) || (x1 && !x2) ) && (x3 || x1 && x2);
                 printf(" %i| %i| %i| %i\n", x1, x2, x3, y);
             };
        };
    };
        
    system ("pause");
    return 0;
}

#include <stdlib.h>
#include <stdio.h>
 
int main ()
{
    int x1, x2, x3, y;
        
    printf("x1|x2|x3| y\n");
    printf("-----------\n");
    for(x1=0; x1<2; x1++)
    {
        for(x2=0; x2<2; x2++)
        {
             for(x3=0; x3<2; x3++)
             {
                 y = ( (!x1 && x2) || (x1 && !x2) ) && (x3 || x1 && x2);
                 printf(" %i| %i| %i| %i\n", x1, x2, x3, y);
             };
        };
    };
        
    system ("pause");
    return 0;
}