Я конечно понятия не имею какая у вас система и обозначения, но первая у нас делается так:
П - потерпевший, С - свидетель, М - может участвовать. А слева просто логическая таблица этого... эээ... знака. В результате получается тавтология(везде True). В последнем столбике у М забыл поставить отрицание. А вторую я не понял ничего, половину слов не знаю.