Mathematical description of necessary AND configuration