"logical formula"@en . . .