(T → E) ∧ (A → L) | ||

(T ∨ A) → (E ∨ L) |

Case | T | E | A | L | (T → E) ∧ (A → L) | (T ∨ A) → (E ∨ L) |
---|---|---|---|---|---|---|

1 | T | T | T | T | T | T |

2 | T | T | T | F | F | T |

3 | T | T | F | T | T | T |

4 | T | T | F | F | T | T |

5 | T | F | T | T | F | T |

6 | T | F | T | F | F | F |

7 | T | F | F | T | F | T |

8 | T | F | F | F | F | F |

9 | F | T | T | T | T | T |

10 | F | T | T | F | F | T |

11 | F | T | F | T | T | T |

12 | F | T | F | F | T | T |

13 | F | F | T | T | T | T |

14 | F | F | T | F | F | F |

15 | F | F | F | T | T | T |

16 | F | F | F | F | T | T |

Public: **
Yes
**,
Show truth table: **
Yes
**,
Tags: