ϵ">]> Clausal Language (ver. 5.81.20, by P.J. Voda, J. Komara, J. Kluka)
...
Clausal Language (ver. 5.81.20, by P.J. Voda, J. Komara, J. Kluka)
Module  Ex10b

Function  True_test  / 0
True_test= ( (0,1,0) X0 =? 0) , ( (0,1,0) X1 =? 1) , ( (0,1,0) X5 =? 0) , ( (0,1,0) =? 0) , ( (1,1,0) =? 0) , ( (0,1,0) =? 1) , ( (1,1,0) =? 1) , ( (0,1,0) ( ¬ X0 ) =? 1) , ( (1,1,0) ( ¬ X0 ) =? 0) , ( (0,1,0) ( ¬ X1 ) =? 0) , ( (0,0,0) ( ¬ X1 ) =? 1) , ( (0,0,0) ( X0 X1 ) =? 0) , ( (0,1,0) ( X0 X1 ) =? 0) , ( (1,0,0) ( X0 X1 ) =? 0) , ( (1,1,0) ( X0 X1 ) =? 1) , ( (0,0,0) ( X0 X1 ) =? 0) , ( (0,1,0) ( X0 X1 ) =? 1) , ( (1,0,0) ( X0 X1 ) =? 1) , ( (1,1,0) ( X0 X1 ) =? 1) , ( (0,0,0) ( X0 X1 ) =? 1) , ( (0,1,0) ( X0 X1 ) =? 1) , ( (1,0,0) ( X0 X1 ) =? 0) , ( (1,1,0) ( X0 X1 ) =? 1) , ( (0,0,0) xor =? 0) , ( (0,1,0) xor =? 1) , ( (1,0,0) xor =? 1) , ( (1,1,0) xor =? 0) , ( (1,0,0,0) ifthenelse =? 0) , ( (0,0,0,0) ifthenelse =? 0) , ( (1,0,1,0) ifthenelse =? 0) , ( (0,0,1,0) ifthenelse =? 1) , ( (1,1,0,0) ifthenelse =? 1) , ( (0,1,0,0) ifthenelse =? 0) , ( (1,1,1,0) ifthenelse =? 1) , ( (0,1,1,0) ifthenelse =? 1) ,0 ¬ ( X0 X1 ) ¬ ( X1 X0 ) = xor ( X0 X1 ) ( ¬ X0 X2 ) = ifthenelse
Query:


Results: