China Naming Network - Solar terms knowledge - Algorithm for selecting propositions

Algorithm for selecting propositions

The operation of substitution proposition follows the following operation rules:

1. Commutation law: p ∨ q

2. Binding Law: (P ∨ Q) ∨ R.

3. idempotent law: p ∨ p

上篇: It's a good idea for food companies to be named like this. 下篇: Gregorian calendar 8. 19