АГ Анна Галкина A → B ложно только тогда, когда A истинно и B ложно. ¬ (A → истинно только когда A истинно и B ложно. ¬ (A → & В ложно всегда.