ДИКТАНТ 1. Напишите таблицу истинности для операции конъюнкция 2. Напишите таблицу истинности для операции дизъюнкция 3. Напишите таблицу истинности для операции импликация 4. Напишите таблицу истинности для операции эквивалентность 5. Какая логическая связка соответствует конъюнкции? 6. Какая логическая связка соответствует дизъюнкции? 7. Какая логическая связка соответствует импликации? 8. Какая логическая связка соответствует инверсии? 9. Что изучает математическая логика? 10. Дайте определение понятию рассуждение
ОПРЕДЕЛИТЬ ЗАКОН Переместительный (коммутативный) закон Сочетательный (ассоциативный) закон Распределительный (дистрибутивный) закон Закон общей инверсии ( законы де Моргана)
ОПРЕДЕЛИТЬ ЗАКОН Закон идемпотентности (равносильности) Закон поглощения Закон исключения (склеивания) Закон идемпотентности (равносильности) Закон исключения констант Закон непротиворечия Закон исключения третьего
Упростить логическое выражение: Воспользуемся правилом дистрибутивности и вынесем за скобки А, получим: = А ^ (В v ¬В). По закону исключенного третьего В v ¬В = 1, следовательно А ^ (В v ¬B) = А ^ 1 = А. Воспользуемся правилом дистрибутивности и вынесем за скобки А, получим: = А ^ (В v ¬В). По закону исключенного третьего В v ¬В = 1, следовательно А ^ (В v ¬B) = А ^ 1 = А. (А ^ В) v (A ^ ¬В)
Упростить логическое выражение A /\ ¬(¬B \/ ¬C) Закон де МОРГАНА = A /\ ¬ ¬B /\ ¬ ¬С =А /\ В /\ С ¬( ¬¬A \/ ¬B \/ C) Двойное отрицание = А Закон де Моргана = ¬A /\ B /\ ¬ C ¬(A -> B) /\ ¬C ИСПОЛЬЗУЕМ ЗАКОН ДЕ МОРГАНА и ЗАМЕНЯЕМ ИМПЛИКАЦИЮ, получим =( ¬A \/ ¬B) /\ C дистрибутивный = ¬A /\ C \/ ¬B /\ C
РЕШЕНИЕ ЗАДАЧ
(В V А) Λ А V (А Λ В) V В= Упростить логическое выражение Двойное отрицание А =(ВVА)ΛАV(АΛВ)VВ= Закон поглощения А А V (АΛВ) VВ= Закон поглощения А А V В ОТВЕТ
Упростить логическое выражение _______________ F = А V В (В V С) = ________________ F = А V В (В V С) = (А V В) (В V С) законы де Моргана для импликации ДВОЙНОЕ ОТРИЦАНИЕ (А V В) (В V С) распределительный закон = В V С А = А (В V С) V В (В V С)= В = А (ВVС)VВ = АВVАСVВ В
Закон де Моргана = А V В V В Закон идемпотентност и (равносильности) = А V В Упростить логическое выражение Закон поглощени я = С НАЙДИТЕ ЕЩЕ СПОСОБ УПРОСТИТЬ ЭТО ВЫРАЖЕНИЕ ВΛС Λ С = В V С Λ С = с
УПРОСТИТЬ Закон де Моргана = А V С V В Λ С Двойное отрицание Закон склеивания = А V С