Two applications (for search theory and truth functions) of Sperner type theorems