Генератор выражений для алгебры логики

Устали генерировать в своей голове задачи для решения на уроке? Хотите получить индивидуальные логические выражения? Воспользуйтесь нашим генератором задач для изучения алгебры логики!

Условные обозначения

¬ - инверсия (отрицание)
∧ - конъюнкция
∨ - дизъюнкция
→ - импликация
≡ - эквиваленция
⊕ - строгая дизъюнкция (исключающее или)

Особенности генератора

При генерации импликации или эквиваленции генератором будет выставлена скобка, следующая за оператором, игнорируя настройку количества скобок в выражении.


Низкая сложность Стандартная сложность










Генерация таблиц истинности возможна только для зарегистрированных пользователей после авторизации на портале!

1) ((¬(¬C ∨ ¬(¬D) ∧ C)) →(A ∨ ¬A ∨ C)) →(D ∧ B)

2) (((¬C) ≡(D ∨ (¬C) ∨ D)) ≡(D ∧ (A))) ≡(D ⊕ B)

3) (A ∨ D) →(¬C ∨ (C ∧ D ∧ (D ∧ ¬C ⊕ B)))

Политика конфиденциальности || Пользовательское соглашение