Составляющие логические формулы