В общем, внутренняя память (или как еще её называют) оперативная) -- это та память которая используется для временного хранения программ во время работы компьютера, и когда компьютер выключается из памяти всё стирается. А внешняя -- нужна для долговременного хранения данных (музыки, фильмов, картинок и т. д. ) после выключения компьютера информация сохраняется. Обычно внешняя память это: жесткие диски, карты памяти, флешки и т.д.
Это знаки для обозначения логических операций: a) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);
b) конъюкция логическое умножение, логическое И) обозначается /\ (например, А /\ В) либо & (например, А & В);
c) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается \/ (например, А \/ В);
вдруг пригодится, есть еще такие знаки:
d) следование (импликация) обозначается → (например, А → В);
e) тождество обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);
f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).
Дизъюнктивная нормальная форма (ДНФ) Простой конъюнкцией или конъюнктом называется конъюнкция некоторого конечного набора переменных или их отрицаний, причём каждая переменная встречается не более одного раза. Дизъюнктивной нормальной формой или ДНФ называется дизъюнкция простых конъюнкций. Конъюнктивная нормальная форма (КНФ) Конъюнктивная нормальная форма1 (КНФ) определяется двойственно к ДНФ. Простой дизъюнкцией или дизъюнктом называется дизъюнкция одной или нескольких переменных или их отрицаний, причём каждая переменная входит в неё не более одного раза. КНФ — это конъюнкция простых дизъюнкций.
