Сайт Солопова Н.А., учителя информатики и ИКТ
Человек, никогда не совершавший ошибок, никогда не пробовал ничего нового.
А. Эйнштейн

Задания по теме: "Алгебра логики"

(Знаком " | " - обозначена логическая операция инверсия)

Решение логических уравнений

Решить логическое уравнение - составить таблицу истинности всех возможных вариантов.

 

Преобразование логических выражений

Простые задания
1. Упростить выражение:

  • A^B v A^|B
  • (A v B)^(A v |B)
  • |(|A v |B)

2. Докажите тавтологии:

  • (|A => A) => A
  • |A => (A => B)
  • (A v (A => B)) => B

3. Решите логическое уравнение:

  • (1 => x) => y = 0

Задания сложнее
1. Докажите эквивалентности:

  • (A ^ B) v A <=> A
  • (A v B) ^ A <=> A
  • A v (|A^B) <=> A v B

2. Упростите выражение:

  • (A^B) v |(A => B)
  • ((A => B) => A) =>B

Сложные задания
1. Упростите выражение:

  • A v B v (|A v B) v C^D

2. Докажите эквивалентность:

  • |(|A v |B^(A v C) v B^|(A v C)) = A^B