Your task

You can find today’s task with its short description here. Your goal is to provide model for logical formulas (the main goal) and try to solve them using brute-force solver (with some tests proving that your solution works).

Deadline for this task is 04.05.2022 (23:59 😎)