Не указано на каком языке программирования нужно, поэтому напишу уж на Паскале. Всё сделал так, чтобы было понятно, хоть и не так компактно.
Var x, y, z:integer; Begin Write('Введите числа X, Y и Z^: '); Readln(x, y, z); If x mod 5=0 then x:=x+1; If y mod 5=0 then y:=y+1; If z mod 5=0 then z:=z+1; Writeln('Полученные в итоге числа(X, Y, Z):', x, ', ', y, ', ', z); End.
При составлении таблиц истинности количество строк зависит от количества логических переменных, а количество столбцов - от количества логических операций в выражении.