Таблицы истинности и формулировка отрицаний Прикладная логика