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

Если не напутал нигде, то учитывая, что импликацию можно выразить через "обычные" операции так:
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