Логика и логические основы компьютера Автор: Кондырев К.
Содержание Логика, как наука Алгебра высказываний Логические операции: конъюнкция, дизъюнкция, инверсия, импликация, эквивалентность Логические законы Логические основы устройства компьютера
Логика-это наука о формах и способах мышления.Мышление всегда осуществляется в каких-то формах. Основными формами мышления являются понятие, высказывание и умозаключение.
Алгебра высказыванийВ алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: «истина» (1) и «ложь» (0).
Логическое умножение (конъюнкция)Объединение двух (или нескольких) высказываний в одно с помощью союза «и» называется операцией логического умножения или конъюнкцией, обозначается значком «&» либо «^».F = A & B
Логическое сложение (дизъюнкция)Объединение двух (или нескольких) высказываний с помощью союза «или» называется операцией логического сложения или дизъюнкцией, обозначается значком «v» либо «+». F = A v B
Логическое отрицание(инверсия)Присоединение частицы «не» к высказыванию называется операцией логического отрицания или инверсией.F = -A
Логическое следование(импликация)Логическое следование (импликация) образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».A B
Логическое равенство(эквивалентность)Логическое равенство (эквивалентность) образуется соединением двух высказываний в одно с помощью оборота речи «…тогда и только тогда, когда…».A ~ B
Таблицы истинностиТаблица истинности логической функции F = (A v B)&(-A v -B)
Логические функции
Логические законыЗакон тождества: А = АЗакон непротиворечия: А & -А = 0Закон исключения третьего: А v -А = 1Закон двойного отрицания: --А = АЗакон коммутативности: A & B = B & AЗакон ассоциативности: (A&B)&C=A&(B&C)Закон дистрибутивности:(A & B )v( A & C)=A&( B v C)
Логические основыустройства компьтераПолусумматор двоичных чисел Полный одноразрядный сумматор Триггер
Полусумматор двоичных чиселa; b – слагаемыеP – переносS - сумма
Полный одноразрядный сумматор
ТриггерТриггер состоит из двух логических элементов «ИЛИ» и двух элементов «НЕ»
И, напоследок, несколько советов: Используйте законы логики на практике. Никогда не противоречьте логическому смыслу. Стройте свою речь на логических основах. И не забывайте о данной науке.