Реализация метода Ван Хао с ограничениями
Ограничения для вводимого выражения:
- Для логических операций необходимо использовать следующие обозначения:
& - Конъюнкция;
V - Дизъюнкция;
! - Отрицание;
> - Импликация; - Выражение предшествующее символу импликации должно быть записано в конъюктивной нормальной форме.
- Количество переменных в дизъюнктах ограничено до двух.
- Выражение стоящее после символа импликации должно состоять только из переменных, перечисленных без знаков разделения.
- В выражении запрещено использование любых символов разделителей.
- Для записи выражения разрешается использовать только обозначения логических операций, представленных выше, а также буквы латинского алфавита, за исключением буквы "V" в любом регистре.