¬А->(A\/B/\C)
Импликация -> даёт ложь только в случае, когда левая часть равна единице, а правая равна нулю. В левой части, у нас находится ¬А, а значит при всех ¬А = 0, то есть А = 1, высказывание будет истинно. Ставим единички во всех строках, где А = 1.
Рассмотрим теперь случаи, когда ¬А = 1, то есть А = 0. Чтобы импликация была истинной необходимо, чтобы правая часть давала истину. Рассмотрим A\/B/\C - так как А = 0, необходимо, чтобы обе переменныe, и В, и С были равны единице. Ставим единичку в строке, где В = 1, С = 1. Во все остальные строки ставим нули.
Итоговая таблица истинности:
А | В | С | F
0 | 0 | 0 | 0
0 | 0 | 1 | 0
0 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 0 | 0 | 1
1 | 0 | 1 | 1
1 | 1 | 0 | 1
1 | 1 | 1 | 1
Программы специального назначения могут понадобиться далеко не всем, ориентированы на узкий круг потребителей. Такой программой является, например, ПО для создания музыки, электронная энциклопедия.