Ooo TRUE

HardSoft
inference logic(HardSoft)(HardSoft)

Truth check table

CaseHardSoftHardSoft(HardSoft)(HardSoft)
1TTFT
2TFTT
3FTTT
4FFFT
Public: Yes; Show truth table: Yes;