Формализуйте приведённые ниже суждения и постройте соответствующую таблицу истинности. А – архивариус убил первосвященника, В – булочник убил первосвященника, С – кардинал убил первосвященника. Убийство первосвященника было совершено или архивариусом, или булочником, или кардиналом. При этом если убийство совершил кардинал, то булочник ему . Получается, что если убийство совершил кардинал, булочник в нём не виноват.