a TRUE

( ~ AC)(AC)

Beginning

C( ~ AA)

Distributive

CT

Complement

inference logicC

Conclusion

A

AAA

C

CCC

T

True

Truth check table

CaseACT( ~ AC)(AC)C( ~ AA)CT
1TTTTTT
2TTFTTF
3TFTFFF
4TFFFFF
5FTTTTT
6FTFTTF
7FFTFFF
8FFFFFF
Public: Yes; Show truth table: Yes;