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

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

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

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

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

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


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










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

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

2) ¬C ∧ ¬(¬C ∧ A) ∧ ¬(C) ∧ A

3) (C ∨ ¬(¬A) ∧ B ∧ B ∧ ¬C)

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