A→B ложно только тогда, когда:
А истинно, В ложно
А ложно, В истинно
А ложно, В – ложно
А истинно, В истинно