Если представить, что перед вашим вопросом стоит "Что такое", то можно ответить:
Таблица истинности это таблица, где каждому возможному входному значению соответствует одно выходное
Логическое отрицание записывается ¬ или !, и имеет таблицу истинности такую:
0 -> 1
1 -> 0