A B; C D (A C) (B D) TRUE

AB
CD
inference logic(AC)(BD)
0
Public: Yes; Show truth table: No; Tags: Life;