689
правок
Изменения
м
баг в грамматике
Расширим грамматику из предыдущего раздела:
* <nowiki><выражение></nowiki> ::= <nowiki><конъюнкцияимпликация></nowiki><tex>| \psi | \phi | \pi</tex>* <nowiki><конъюнкцияимпликация></nowiki> ::= <nowiki><дизъюнкция></nowiki> <tex>|</tex> <nowiki><дизъюнкция></nowiki> <tex>\rightarrow</tex> <nowiki><конъюнкцияимпликация></nowiki>
* <nowiki><дизъюнкция></nowiki> ::= <nowiki><конъюнкция></nowiki> <tex>|</tex> <nowiki><дизъюнкция></nowiki> <tex>\vee</tex> <nowiki><конъюнкция></nowiki>
* <nowiki><конъюнкция></nowiki> ::= <nowiki><терм></nowiki> <tex>|</tex> <nowiki><конъюнкция></nowiki> <tex>\&</tex> <nowiki><терм></nowiki>
