Составить таблицы истинности для следующего выражения:

Var a: byte; b:integer;
Begin 
writeln('Введите день месяца');
readln(b);
writeln('Введите номер месяца');   
Readln(a);    
          Case a of        
1: writeln(b,' янавря');        
2: writeln(b,' февраля');      
3: writeln(b,' марта ');        
4: writeln(b,' апреля ');      
5: writeln(b,' мая');      
6: writeln(b,' июня ');        
7: writeln(b,' июля');       
8: writeln(b,' августа');     
9: writeln(b,' сентября');     
10: writeln(b,' октября');     
11: writeln(b,' ноября');       
12: writeln(b,' декабря');     
else writeln('Месяца №', a,'нет');   
end;       
end.

Можно быстро сообразить, какой будет ответ, при кругов Эйлера.

Всего есть 2^6 = 64 возможных комбинаций входных параметров и, соответственно, в таблице 64 строки. Изобразим области истинности выражений A и B. Область истинности выражения A + -B – это объединение области истинности A и области ложности выражения B; область истинности изображена на рисунке зелёным цветом.

Чтобы в закрашенную область попало как можно больше элементов, в незакрашенной области элементов должно быть как можно меньше. В данном случае ничего не мешает тому, чтобы в незакрашенной области вообще не было элементов, при этом все 5 элементов в области истинности B должны одновременно быть и в области истинности A. При этом в область истинности выражения A + -B входят все 64 элемента, максимально возможное число единиц равно 64.