Двузначная семантика для логики PCOMPстатья