interdeducible formulas

Дедуктивно еквівалентні формули