volume_mute
Mark the following statements as tautology or contradiction
publish date: 2022/08/15 12:18:00 GMT+10
volume_mute- (1)
A ∨ A'
- (2)
A ∧ A'
- (3)
(A → B) ↔ (B′ → A′)
- (4)
(A ∨ A′) → (B ∨ B′)
Please drag and drop the selected option in the right place or type it instead
tautology
contradiction
Correct Answer
(1) tautology
(2) contradiction
(3) tautology
(4) contradiction
Reference
Mathematical Structures for Computer Science, Discrete Mathematics and its Applications, seventh edition