Propositional Logic · Functional Completeness

Lesson 5

Nikolai Chukhin · Alexander S. Kulikov

Problem. Mark all classes containing the \(\text{NAND}_{2}\) function.

This problem can only be submitted at Cogniterra.

  1. \(\mathcal{S}_{0}\)

  2. \(\mathcal{S}_{1}\)

  3. \(\mathcal{M}\)

  4. \(\mathcal{L}\)

  5. \(\mathcal{D}\)