Принцип двойственности для булевых формул