Если это преступление совершил Иванов то он знает

Если это преступление совершил Иванов (p), то он знает, где находятся похищенные деньги (q).
Иванов не знает, где находятся похищенные деньги (q), но знает, где находятся похищенные вещи (r).
Иванова видели на месте преступления примерно в то время, когда преступление было совершено (s) .
Следовательно, Иванов не совершал этого преступления (p).
Символическая запись: ((р q) & (q & r) & s) р.
Таблица истинности:
Порядок действий 1 3 2 4 5
p q r s р q ((р q) & (q & r) & s) р
и и и и л л и л л л и
и и и л л л и л л л и
и и л и л л и л л л и
и и л л л л и л л л и
и л и и л и л л и л и
и л и л л и л л и л и
и л л и л и л л л л и
и л л л л и л л л л и
л и и и и л и л л л и
л и и л и л и л л л и
л и л и и л и л л л и
л и л л и л и л л л и
л л и и и и и и и и и
л л и л и и и и и л и
л л л и и и и л л л и
л л л л и и и л л л и
Рассуждение является правильным, так как его формула принимает все значения истинности.