A - ложно
B - истинно
A&B - ложно
А̅ - истинно
В̅ - ложно
АvВ - истинно
А→В - истинно (импликация, из ложного утверждения следует что угодно)
А↔В - ложно (эквивалентность)
A - ложно
B - истинно
A&B - ложно
А̅ - истинно
В̅ - ложно
АvВ - истинно
А→В - истинно (импликация, из ложного утверждения следует что угодно)
А↔В - ложно (эквивалентность)