Реализация логических операций импликации, строгой дизъюнкции, эквивалентности

@Unknow2N · Регистрация: 16.04.2019

Студворк — интернет-сервис помощи студентам

Задача из хендбука яндекс.
Имеется строка с логическим выражением, например A -> B ~ C или A or C ~ not (A -> B) or C (все переменные — заглавные буквы)
Предполагается, что в Python не реализованы операции импликации →, строгой дизъюнкции ^, эквивалентности ~. Нужно их реализовать, причём надо учесть и скобки, и приоритет.
Логические аналоги вышеописанных операций, как я понимаю, следующие:

Python
1
2
3
^ — строгая дизъюнкция = A and not B or not A and B
-> — импликация = not A or B
~ — эквивалентность = A and B or not A and not B

Если бы на входе были просто A [операция] B, то задача тривиальна, надо взять значения A и B и переписать строку с последующим использованием eval, но как реализовать учёт скобок и приоритета? Наведите на мысль.

@idealist · 21.06.2023, 05:12

Сообщение от Unknow2N

^ — строгая дизъюнкция

Разве? Вообще-то это конъюнкция:

Согласно Википедии:
Наиболее часто встречаются следующие обозначения для операции конъюнкции:
a ∧ b , a & & b , a & b , a ⋅ b , a A N D b

Новые блоги и статьи Все статьи Все блоги /
Фото всей Земли с борта корабля Orion миссии Artemis II kumehtar 04.04.2026 Это первое подобное фото сделанное человеком за 50 лет. Снимок называют новым вариантом легендарной фотографии «The Blue Marble» 1972 года, сделанной с борта корабля «Аполлон-17». Новое фото. . .	Вывод диалогового окна перед закрытием, если документ не проведён Maks 04.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать программный контроль на предмет проведения документа. . .	Программный контроль заполнения реквизита табличной части документа Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: реализовать контроль заполнения реквизита "ПричинаСписания". . .	wmic не является внутренней или внешней командой Maks 02.04.2026 Решение: DISM / Online / Add-Capability / CapabilityName:WMIC~~~~ Отсюда: https:/ / winitpro. ru/ index. php/ 2025/ 02/ 14/ komanda-wmic-ne-naydena/
Программная установка даты и запрет ее изменения Maks 02.04.2026 Алгоритм из решения ниже реализован на примере нетипового документа "СписаниеМатериалов", разработанного в конфигурации КА2. Задача: при создании документов установить период списания автоматически. . .	Вывод данных в справочнике через динамический список Maks 01.04.2026 Реализация из решения ниже выполнена на примере нетипового справочника "Спецтехника" разработанного в конфигурации КА2. Задача: вывести данные из ТЧ нетипового документа. . .	Программное заполнения текстового поля в реквизите формы документа Maks 01.04.2026 Алгоритм из решения ниже реализован на нетиповом документе "ВыдачаОборудованияНаСпецтехнику" разработанного в конфигурации КА2, в дополнении к предыдущему решению. На форме документа создается. . .	К слову об оптимизации kumehtar 01.04.2026 Вспоминаю начало 2000-х, университет, когда я писал на Delphi. Тогда среди программистов на форумах активно обсуждали аккуратную работу с памятью: нужно было следить за переменными, вовремя. . .