Project

General

Profile

Actions

Task #5216

closed

[solver] Вспомогательные методы работы с логическими формулами

Added by Alexander Kamkin over 9 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Andrei Tatarnikov
Category:
-
Target version:
Start date:
08/22/2014
Due date:
% Done:

100%

Estimated time:
Detected in build:
svn
Published in build:
140915

Description

Предлагается реализовать следующие статические методы работы с логическими формулами (условиями):

  1. boolean isCondition(Node expr) - проверка того, что формула является логической формулой;
  2. boolean isAtomicCondition(Node expr) - проверка того, что формула является атомарной логической формулой (в ней нет логических связок: !, &&, || и др.);
  3. Node getConjunction(Node ... expr) = (expr[1] && ... && expr[n]) - получение конъюнкции системы условий;
  4. Node getDisjunction(Node ... expr) = (expr[1] || ... || expr[n]) - получение дизъюнкции системы условий;
  5. Node getNegation(Node ... expr) = !getConjunction(expr[1], ..., expr[n]) - получение отрицания системы условий;
  6. Node getComplement(Node ... expr) = getNegation(getDisjunction(expr[1], ..., expr[n]) - получение дополнения к системе условий;
  7. boolean areComplete(Node ... expr) = !(getComplement(expr[1], ..., expr[n]) is SAT) - проверка системы условий на полноту;
  8. boolean areCompatible(Node ... expr) = (getConjunction(expr[1], ..., expr[n]) is SAT) - проверка системы условий на совместимость.
Actions

Also available in: Atom PDF