dnf 0.1.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: 38d7f35e2dbe89fc5eefae38715e9ffb4fd30c5fb2387afa1af111e7ef3d6ad2
+  data.tar.gz: 793c5e967fa47434234bdd786c0e46084f0055d9ea76203d883d017dff542173
+SHA512:
+  metadata.gz: 368413587764ad6bfb6a3dae501b815238e2141eaa4aea776f8d781e436fcbc0b7d1f1669e7e7527e15a9eeb603917e88315a4309240102e36e65cfb733efd15
+  data.tar.gz: fafd471e6a1b1a6fc385cda79f9f8ae86148573f165ee7eff184bc1f4190533b66a0df0ea97cb3a9ec3ff35f3ce18dd91224a303a05e8bb074eed120d13543b1

data/.gitignore

@@ -0,0 +1,2 @@
+Gemfile.lock
+.bundle

data/.rspec

@@ -0,0 +1 @@
+--require spec_helper

data/Gemfile

@@ -0,0 +1,3 @@
+source 'https://rubygems.org'
+
+gemspec

data/LICENSE

@@ -0,0 +1,7 @@
+Copyright 2024 Marco Colli
+
+Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the “Software”), to deal in the Software without restriction, including without limitation the rights to use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

data/README.md

@@ -0,0 +1,21 @@
+# DNF
+
+Convert any boolean expression to disjunctive normal form (DNF).
+
+## Installation
+
+```ruby
+gem 'dnf'
+```
+
+## Usage
+
+```ruby
+expression = "(!a | !b) & c"
+boolean_expression = Dnf::BooleanExpression.new(expression)
+boolean_expression.to_dnf # => "!a & c | !b & c"
+```
+
+## License
+
+The gem is available as open source under the terms of the MIT License.

data/dnf.gemspec

@@ -0,0 +1,12 @@
+require_relative 'lib/dnf/version'
+
+Gem::Specification.new do |s|
+  s.name = 'dnf'
+  s.version = Dnf::VERSION
+  s.summary = 'Convert any boolean expression to disjunctive normal form (DNF).'
+  s.author = 'Marco Colli'
+  s.homepage = 'https://github.com/collimarco/dnf-ruby'
+  s.license = 'MIT'
+  s.files = `git ls-files`.split("\n")
+  s.add_development_dependency 'rspec'
+end

data/lib/dnf/boolean_expression.rb

@@ -0,0 +1,130 @@
+module Dnf
+  class BooleanExpression
+    attr_reader :expression
+
+    def initialize(expression)
+      @expression = expression
+    end
+
+    def to_dnf
+      expr = parse(expression)
+      dnf = convert_to_dnf(expr)
+      dnf_to_string(dnf)
+    end
+
+    private
+
+    def parse(expr)
+      tokens = tokenize(expr)
+      parse_expression(tokens)
+    end
+
+    def tokenize(expr)
+      expr.scan(/\w+|[&|!()]/)
+    end
+
+    def parse_expression(tokens)
+      parse_or(tokens)
+    end
+
+    def parse_or(tokens)
+      left = parse_and(tokens)
+      while tokens.first == '|'
+        tokens.shift
+        right = parse_and(tokens)
+        left = [:or, left, right]
+      end
+      left
+    end
+
+    def parse_and(tokens)
+      left = parse_not(tokens)
+      while tokens.first == '&'
+        tokens.shift
+        right = parse_not(tokens)
+        left = [:and, left, right]
+      end
+      left
+    end
+
+    def parse_not(tokens)
+      if tokens.first == '!'
+        tokens.shift
+        expr = parse_primary(tokens)
+        [:not, expr]
+      else
+        parse_primary(tokens)
+      end
+    end
+
+    def parse_primary(tokens)
+      if tokens.first == '('
+        tokens.shift
+        expr = parse_expression(tokens)
+        tokens.shift # skip ')'
+        expr
+      else
+        token = tokens.shift
+        [:var, token]
+      end
+    end
+
+    def convert_to_dnf(expr)
+      case expr[0]
+      when :var
+        expr
+      when :not
+        convert_not_to_dnf(expr)
+      when :and
+        left = convert_to_dnf(expr[1])
+        right = convert_to_dnf(expr[2])
+        distribute_and(left, right)
+      when :or
+        left = convert_to_dnf(expr[1])
+        right = convert_to_dnf(expr[2])
+        [:or, left, right]
+      end
+    end
+
+    def convert_not_to_dnf(expr)
+      sub_expr = expr[1]
+      case sub_expr[0]
+      when :var
+        expr
+      when :not
+        convert_to_dnf(sub_expr[1])
+      when :and
+        left = convert_not_to_dnf([:not, sub_expr[1]])
+        right = convert_not_to_dnf([:not, sub_expr[2]])
+        [:or, left, right]
+      when :or
+        left = convert_not_to_dnf([:not, sub_expr[1]])
+        right = convert_not_to_dnf([:not, sub_expr[2]])
+        [:and, left, right]
+      end
+    end
+
+    def distribute_and(left, right)
+      if left[0] == :or
+        [:or, distribute_and(left[1], right), distribute_and(left[2], right)]
+      elsif right[0] == :or
+        [:or, distribute_and(left, right[1]), distribute_and(left, right[2])]
+      else
+        [:and, left, right]
+      end
+    end
+
+    def dnf_to_string(expr)
+      case expr[0]
+      when :var
+        expr[1]
+      when :not
+        "!#{dnf_to_string(expr[1])}"
+      when :and
+        "#{dnf_to_string(expr[1])} & #{dnf_to_string(expr[2])}"
+      when :or
+        "#{dnf_to_string(expr[1])} | #{dnf_to_string(expr[2])}"
+      end
+    end
+  end
+end

data/lib/dnf/version.rb

@@ -0,0 +1,3 @@
+module Dnf
+  VERSION = '0.1.0'.freeze
+end

data/lib/dnf.rb

@@ -0,0 +1,6 @@
+require 'dnf/version'
+require 'dnf/boolean_expression'
+
+module Dnf
+  
+end

data/spec/dnf/boolean_expression_spec.rb

@@ -0,0 +1,78 @@
+require 'spec_helper'
+require 'dnf'
+
+RSpec.describe Dnf::BooleanExpression do
+  describe '#to_dnf' do
+    it 'converts simple variable' do
+      expect(Dnf::BooleanExpression.new('a').to_dnf).to eq('a')
+    end
+
+    it 'converts negated variable' do
+      expect(Dnf::BooleanExpression.new('!a').to_dnf).to eq('!a')
+    end
+
+    it 'converts conjunction' do
+      expect(Dnf::BooleanExpression.new('a & b').to_dnf).to eq('a & b')
+    end
+
+    it 'converts disjunction' do
+      expect(Dnf::BooleanExpression.new('a | b').to_dnf).to eq('a | b')
+    end
+    
+    it 'converts parenthesis' do
+      expect(Dnf::BooleanExpression.new('(a)').to_dnf).to eq('a')
+    end
+    
+    it 'converts negated parenthesis' do
+      expect(Dnf::BooleanExpression.new('!(a)').to_dnf).to eq('!a')
+    end
+
+    it 'converts negation of disjunction' do
+      expect(Dnf::BooleanExpression.new('!(a | b)').to_dnf).to eq('!a & !b')
+    end
+
+    it 'converts negation of conjunction' do
+      expect(Dnf::BooleanExpression.new('!(a & b)').to_dnf).to eq('!a | !b')
+    end
+
+    it 'converts complex expression' do
+      expect(Dnf::BooleanExpression.new('!(a | b) & c').to_dnf).to eq('!a & !b & c')
+    end
+
+    it 'converts nested expression' do
+      expect(Dnf::BooleanExpression.new('a & (b | c)').to_dnf).to eq('a & b | a & c')
+    end
+
+    it 'converts nested expression with negation' do
+      expect(Dnf::BooleanExpression.new('!a & (b | c)').to_dnf).to eq('!a & b | !a & c')
+    end
+
+    it 'converts multiple nested expressions' do
+      expect(Dnf::BooleanExpression.new('(a | b) & (c | d)').to_dnf).to eq('a & c | a & d | b & c | b & d')
+    end
+
+    it 'converts multiple negations' do
+      expect(Dnf::BooleanExpression.new('!(!a)').to_dnf).to eq('a')
+    end
+
+    it 'converts combination of negations and conjunctions' do
+      expect(Dnf::BooleanExpression.new('!a & !b').to_dnf).to eq('!a & !b')
+    end
+    
+    it 'converts expressions with many variables in parenthesis' do
+      expect(Dnf::BooleanExpression.new('(a | b | c) & d').to_dnf).to eq('a & d | b & d | c & d')
+    end
+    
+    it 'converts expressions with many variables outside parenthesis' do
+      expect(Dnf::BooleanExpression.new('(!a | b) & c & d & !e').to_dnf).to eq('!a & c & d & !e | b & c & d & !e')
+    end
+    
+    it 'converts deeply nested expressions' do
+      expect(Dnf::BooleanExpression.new('(!(a & b & c) | (!e | d)) & a').to_dnf).to eq('!a & a | !b & a | !c & a | !e & a | d & a')
+    end
+    
+    it 'converts expressions with long variable names' do
+      expect(Dnf::BooleanExpression.new('user & (cat | dog)').to_dnf).to eq('user & cat | user & dog')
+    end
+  end
+end

data/spec/spec_helper.rb

@@ -0,0 +1,98 @@
+# This file was generated by the `rspec --init` command. Conventionally, all
+# specs live under a `spec` directory, which RSpec adds to the `$LOAD_PATH`.
+# The generated `.rspec` file contains `--require spec_helper` which will cause
+# this file to always be loaded, without a need to explicitly require it in any
+# files.
+#
+# Given that it is always loaded, you are encouraged to keep this file as
+# light-weight as possible. Requiring heavyweight dependencies from this file
+# will add to the boot time of your test suite on EVERY test run, even for an
+# individual file that may not need all of that loaded. Instead, consider making
+# a separate helper file that requires the additional dependencies and performs
+# the additional setup, and require it from the spec files that actually need
+# it.
+#
+# See https://rubydoc.info/gems/rspec-core/RSpec/Core/Configuration
+RSpec.configure do |config|
+  # rspec-expectations config goes here. You can use an alternate
+  # assertion/expectation library such as wrong or the stdlib/minitest
+  # assertions if you prefer.
+  config.expect_with :rspec do |expectations|
+    # This option will default to `true` in RSpec 4. It makes the `description`
+    # and `failure_message` of custom matchers include text for helper methods
+    # defined using `chain`, e.g.:
+    #     be_bigger_than(2).and_smaller_than(4).description
+    #     # => "be bigger than 2 and smaller than 4"
+    # ...rather than:
+    #     # => "be bigger than 2"
+    expectations.include_chain_clauses_in_custom_matcher_descriptions = true
+  end
+
+  # rspec-mocks config goes here. You can use an alternate test double
+  # library (such as bogus or mocha) by changing the `mock_with` option here.
+  config.mock_with :rspec do |mocks|
+    # Prevents you from mocking or stubbing a method that does not exist on
+    # a real object. This is generally recommended, and will default to
+    # `true` in RSpec 4.
+    mocks.verify_partial_doubles = true
+  end
+
+  # This option will default to `:apply_to_host_groups` in RSpec 4 (and will
+  # have no way to turn it off -- the option exists only for backwards
+  # compatibility in RSpec 3). It causes shared context metadata to be
+  # inherited by the metadata hash of host groups and examples, rather than
+  # triggering implicit auto-inclusion in groups with matching metadata.
+  config.shared_context_metadata_behavior = :apply_to_host_groups
+
+# The settings below are suggested to provide a good initial experience
+# with RSpec, but feel free to customize to your heart's content.
+=begin
+  # This allows you to limit a spec run to individual examples or groups
+  # you care about by tagging them with `:focus` metadata. When nothing
+  # is tagged with `:focus`, all examples get run. RSpec also provides
+  # aliases for `it`, `describe`, and `context` that include `:focus`
+  # metadata: `fit`, `fdescribe` and `fcontext`, respectively.
+  config.filter_run_when_matching :focus
+
+  # Allows RSpec to persist some state between runs in order to support
+  # the `--only-failures` and `--next-failure` CLI options. We recommend
+  # you configure your source control system to ignore this file.
+  config.example_status_persistence_file_path = "spec/examples.txt"
+
+  # Limits the available syntax to the non-monkey patched syntax that is
+  # recommended. For more details, see:
+  # https://rspec.info/features/3-12/rspec-core/configuration/zero-monkey-patching-mode/
+  config.disable_monkey_patching!
+
+  # This setting enables warnings. It's recommended, but in some cases may
+  # be too noisy due to issues in dependencies.
+  config.warnings = true
+
+  # Many RSpec users commonly either run the entire suite or an individual
+  # file, and it's useful to allow more verbose output when running an
+  # individual spec file.
+  if config.files_to_run.one?
+    # Use the documentation formatter for detailed output,
+    # unless a formatter has already been configured
+    # (e.g. via a command-line flag).
+    config.default_formatter = "doc"
+  end
+
+  # Print the 10 slowest examples and example groups at the
+  # end of the spec run, to help surface which specs are running
+  # particularly slow.
+  config.profile_examples = 10
+
+  # Run specs in random order to surface order dependencies. If you find an
+  # order dependency and want to debug it, you can fix the order by providing
+  # the seed, which is printed after each run.
+  #     --seed 1234
+  config.order = :random
+
+  # Seed global randomization in this process using the `--seed` CLI option.
+  # Setting this allows you to use `--seed` to deterministically reproduce
+  # test failures related to randomization by passing the same `--seed` value
+  # as the one that triggered the failure.
+  Kernel.srand config.seed
+=end
+end

metadata

@@ -0,0 +1,67 @@
+--- !ruby/object:Gem::Specification
+name: dnf
+version: !ruby/object:Gem::Version
+  version: 0.1.0
+platform: ruby
+authors:
+- Marco Colli
+autorequire: 
+bindir: bin
+cert_chain: []
+date: 2024-07-11 00:00:00.000000000 Z
+dependencies:
+- !ruby/object:Gem::Dependency
+  name: rspec
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '0'
+description: 
+email: 
+executables: []
+extensions: []
+extra_rdoc_files: []
+files:
+- ".gitignore"
+- ".rspec"
+- Gemfile
+- LICENSE
+- README.md
+- dnf.gemspec
+- lib/dnf.rb
+- lib/dnf/boolean_expression.rb
+- lib/dnf/version.rb
+- spec/dnf/boolean_expression_spec.rb
+- spec/spec_helper.rb
+homepage: https://github.com/collimarco/dnf-ruby
+licenses:
+- MIT
+metadata: {}
+post_install_message: 
+rdoc_options: []
+require_paths:
+- lib
+required_ruby_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+required_rubygems_version: !ruby/object:Gem::Requirement
+  requirements:
+  - - ">="
+    - !ruby/object:Gem::Version
+      version: '0'
+requirements: []
+rubygems_version: 3.0.3.1
+signing_key: 
+specification_version: 4
+summary: Convert any boolean expression to disjunctive normal form (DNF).
+test_files: []