Как построить таблицу истинности

Если не напутал нигде, то учитывая, что импликацию можно выразить через "обычные" операции так:
a-->b = !a || b

получим из (A--->B)^!A-->B
!((!a || b) && !a) || b
______
Чтобы не считать вручную (наверняка где-то ошибусь) попытался сделать табличку в экселе, но там так неудобно запись придумана, что от нее в глазах рябит, как такое только можно было выдумать.

Поэтому вот Вам вариант в CodeBlocks
_____
#include
using namespace std;

int main()
{
// a-->b = !a || b

// !((!a || b) && !a) || b

for(int a= 0; a<=1; a++)
{
for(int b= 0; b<=1; b++)
{
cout<< a << "\t"<< b<< "\t";
cout<< (!((!a || b) && !a) || b) << endl;
}
}
return 0;
}
____
Если выполнить, получается:
000
011
101
111
верно ли это - не знаю, ищите ошибки сами.