Чем отличается строгая дизъюнкция от нестрогой в логическом программировании?

Строгая дизъюнкция в логическом программировании — это логическая операция, ставящая в соответствие двум высказываниям новое, являющееся истинным тогда и только тогда, когда только одно из двух высказываний истинно. apt29.ru profbeckman.narod.ru В отличие от обычной дизъюнкции (связка «или»), в высказывании, содержащем строгую дизъюнкцию, утверждается, что произойдёт только одно событие. apt29.ru profbeckman.narod.ru

Нестрогая (слабая) дизъюнкция — это логическая операция, ставящая в соответствие двум высказываниям новое, являющееся истинным тогда и только тогда, когда истинно хотя бы одно из высказываний или оба вместе. otvet.mail.ru

Таким образом, основное отличие в том, что строгая дизъюнкция утверждает, что произойдёт только одно событие, а нестрогая — что истинно хотя бы одно из высказываний или оба вместе. apt29.ru otvet.mail.ru