Дано трудное высказывание: Если придет Вася либо Коля и мать разрешит,

Обозначим предикаты:
A = "Придет Вася"; B = "Придет Коля"; C = "Мать разрешит".
Функция: F = "Пойду гулять"
Выражение: Если ((A либо B) и C) То F.
Таблица истинности:
A B C F
0   0 0  0
0   0 1  0
0   1 0  0
0   1 1  1
1   0 0  0
1   0 1  1
1   1 0  0
1   1 1  1
Таким образом, функция будет истинной, если истинный желая бы один из предикатов А либо В, и при этом правильный предикат С.
Если придет Вася, либо Коля, или даже оба, но мать не разрешит, то я гулять не пойду.
Если ни один из мальчишек не придет, то даже если мать разрешит, все одинаково я гулять не пойду.
И только если и ребята придут (желая бы один), и мать разрешит, тогда я пойду гулять.