Модална логика, сложност на булевите функции.