Басқа программалар мен файлдарға өз көшірмесін автоматты түрде кірістіре отырып, файлдарды «бүлдіретін» компьютерлік шағын бағдарлама (1—2 Кб) немесе макрос. Зақымданған мәліметтерді жедел жадқа жүктеуде онда орналасқан басқа файлдарға өтіп, оларға да зақым келтіре алады. Вирустардың мәлімет түтастығын жоятын көптеген қауіпті қосымша әсерлері бар, олар — қатқыл дискінің қүрылымдық бөлімдерін (бөлімдердің түпкі кестесін бұзу арқылы) бүлдіреді, қатқыл дискіні қайта пішімдеп жібереді, файлдарды өшіріп тастайды немесе құрамын өзгертіп жібереді және т.б.;
двойного отрицания: НЕ(НЕ(x)) = xраспределительный: (A v B) & C = A & C v B & Cпереместительный: A & B = B & A, A v B = B v Aзакон де Моргана: HE(A v B) = HE(A) & HE(B)правила операций с константами: A & 1 = A, A v 0 = A
А & В v A & НЕ (В) = A & (B v НЕ(B)) = A & 1 = A
(A v В) & (A v HE (В)) = A & (A v HE(B)) v B & (A v HE(B)) = A & A v A & HE(B) v B & A v B & HE(B) = A v A & HE(B) v A & B v 0 = A & (1 v HE(B) v B) = A & 1 = A
Вирус —
Басқа программалар мен файлдарға өз көшірмесін автоматты түрде кірістіре отырып, файлдарды «бүлдіретін» компьютерлік шағын бағдарлама (1—2 Кб) немесе макрос. Зақымданған мәліметтерді жедел жадқа жүктеуде онда орналасқан басқа файлдарға өтіп, оларға да зақым келтіре алады. Вирустардың мәлімет түтастығын жоятын көптеген қауіпті қосымша әсерлері бар, олар — қатқыл дискінің қүрылымдық бөлімдерін (бөлімдердің түпкі кестесін бұзу арқылы) бүлдіреді, қатқыл дискіні қайта пішімдеп жібереді, файлдарды өшіріп тастайды немесе құрамын өзгертіп жібереді және т.б.;
Полезные законы:
двойного отрицания: НЕ(НЕ(x)) = xраспределительный: (A v B) & C = A & C v B & Cпереместительный: A & B = B & A, A v B = B v Aзакон де Моргана: HE(A v B) = HE(A) & HE(B)правила операций с константами: A & 1 = A, A v 0 = AА & В v A & НЕ (В) = A & (B v НЕ(B)) = A & 1 = A
(A v В) & (A v HE (В)) = A & (A v HE(B)) v B & (A v HE(B)) = A & A v A & HE(B) v B & A v B & HE(B) = A v A & HE(B) v A & B v 0 = A & (1 v HE(B) v B) = A & 1 = A
HE(HE(X) v HE(Y)) = HE(HE(X)) & HE(HE(Y)) = X & Y