Describir: Virtuálny verifikačný panel s členmi AND, OR a NOT