uncomplemented Boolean variable

недополненная булева переменная (переменная в конъюнктивной или дизъюнктивной формах, записанная без знака отрицания)