Задание 2. Постройте таблицы истинности для логических формул: 1) A - B 2) (A v B) v B 3) (AAB) ~ A 4) (A v B) A (B v C)

Question

Задание 2. Постройте таблицы истинности для логических формул:
1) A -> B
2) (A v B) v B
3) (AAB) ~ A
4) (A v B) A (B v C)

Answer

С удовольствием помогу вам построить таблицы истинности для данных логических формул. Давайте разберем каждую из них по порядку.

1. Формула A -> B (Импликация)

Таблица истинности:

A |
B |
A -> B |

0 |
0 |
1 |

0 |
1 |
1 |

1 |
0 |
0 |

1 |
1 |
1 |

Импликация A -> B истинна в случае, если либо A ложно, либо оба A и B истинны.

2. Формула (A v B) v B (Объединение)

Таблица истинности:

A |
B |
A v B |
(A v B) v B |

0 |
0 |
0 |
0 |

0 |
1 |
1 |
1 |

1 |
0 |
1 |
1 |

1 |
1 |
1 |
1 |

Это выражение истинно, если хотя бы одно из значений A или B истинно.

3. Формула (A ∧ B) ~ A (Знак тильды соответствует отрицанию)

Таблица истинности:

A |
B |
A ∧ B |
~ A |
(A ∧ B) ~ A |

0 |
0 |
0 |
1 |
0 |

0 |
1 |
0 |
1 |
0 |

1 |
0 |
0 |
0 |
0 |

1 |
1 |
1 |
0 |
1 |

Это выражение истинно, только если A истинно и B также истинно, при этом A должно быть истинным для атаки.

4. Формула (A v B) ∧ (B v C)

Таблица истинности:

A |
B |
C |
A v B |
B v C |
(A v B) ∧ (B v C) |

0 |
0 |
0 |
0 |
0 |
0 |

0 |
0 |
1 |
0 |
1 |
0 |

0 |
1 |
0 |
1 |
1 |
1 |

0 |
1 |
1 |
1 |
1 |
1 |

1 |
0 |
0 |
1 |
0 |
0 |

1 |
0 |
1 |
1 |
1 |
1 |

1 |
1 |
0 |
1 |
1 |
1 |

1 |
1 |
1 |
1 |
1 |
1 |

Это выражение истинно, если хотя бы одно из условий A, B или C выполняется.

Если у вас есть дополнительные вопросы или вам нужна помощь с другими формулами, не стесняйтесь спрашивать!

Задание 2. Постройте таблицы истинности для логических формул: 1) A -> B 2) (A v B) v B 3) (AAB) ~ A 4) (A v B) A (B v C)